UML-B Specification for Proven Embedded Systems Design - Fredrik Bernin - Livros - Springer-Verlag New York Inc. - 9781402028663 - 13 de dezembro de 1901
Caso a capa e o título não sejam correspondentes, considere o título como correto

Fredrik Bernin
UML-B Specification for Proven Embedded Systems Design 2004 edition

Preço
R$ 986,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 23 de set - 5 de out
Receba avisos sobre novos lançamentos de Fredrik Bernin

O que dizem nossos clientes:

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

The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components.

300 pages, 48 black & white illustrations, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 13 de dezembro de 1901
ISBN13 9781402028663
Editoras Springer-Verlag New York Inc.
Páginas 300
Dimensões 155 × 235 × 19 mm   ·   698 g
Idioma Inglês  
Editor Mermet, Jean

Mais da mesma editora

Ver tudo de Fredrik Bernin