Specification Case Studies in RAISE - Formal Approaches to Computing and Information Technology (FACIT) - H Dang Van - Livros - Springer London Ltd - 9781852333591 - 8 de fevereiro de 2002
Caso a capa e o título não sejam correspondentes, considere o título como correto

Specification Case Studies in RAISE - Formal Approaches to Computing and Information Technology (FACIT) 2002 edition

Preço
€ 112,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 2 - 16 de set
Receba avisos sobre novos lançamentos de H Dang Van
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications.


424 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 8 de fevereiro de 2002
ISBN13 9781852333591
Editoras Springer London Ltd
Páginas 405
Dimensões 155 × 235 × 21 mm   ·   589 g
Idioma Inglês  
Editor Dang Van, Hung
Editor George, Chris
Editor Janowski, Tomasz
Editor Moore, Richard

Mais da mesma editora

Ver tudo de H Dang Van ( por exemplo Paperback Book )