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

UML-B Specification for Proven Embedded Systems Design Softcover reprint of hardcover 1st ed. 2004 edition

Preço
€ 144,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 23 - 31 de jul

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     Paperback Book   (Livro de capa flexível e brochura)
Lançado 3 de dezembro de 2010
ISBN13 9781441952561
Editoras Springer-Verlag New York Inc.
Páginas 300
Dimensões 150 × 220 × 10 mm   ·   476 g
Idioma Inglês  
Editor Mermet, Jean

Mais da mesma editora