Computer-aided Verification: a Special Issue of Formal Methods in System Design on Computer-aided Verification - Robert Kurshan - Livros - Springer-Verlag New York Inc. - 9781461365792 - 5 de outubro de 2012

Caso a capa e o título não sejam correspondentes, considere o título como correto

Conte aos seus amigos sobre este item:

Robert Kurshan
Computer-aided Verification: a Special Issue of Formal Methods in System Design on Computer-aided Verification Robert Kurshan Softcover Reprint of the Original 1st Ed. 1993 edition

Name: Computer-aided Verification: a Special Issue of Formal Methods in System Design on Computer-aided Verification
Price: 847.9 BRL
Availability: OutOfStock
Author: Robert Kurshan

Preço

R$ 847,90

excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 29 de set - 5 de out

Receba avisos sobre novos lançamentos de Robert Kurshan

O que dizem nossos clientes:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor

Melhor classificação na Trustpilot

Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Também disponível como:

Hardcover Book

Reprinted from Formal Methods in System Design, 1: edition

(1992) R$ 986,90

Computer-aided Verification: a Special Issue of Formal Methods in System Design on Computer-aided Verification

Robert Kurshan

Softcover Reprint of the Original 1st Ed. 1993 edition

142 pages, biography

Mídia	Livros Paperback Book (Livro de capa flexível e brochura)
Lançado	5 de outubro de 2012
ISBN13	9781461365792
Editoras	Springer-Verlag New York Inc.
Páginas	142
Dimensões	155 × 235 × 8 mm · 222 g
Idioma	Inglês
Editor	Kurshan, Robert