Specification Case Studies in RAISE - Formal Approaches to Computing and Information Technology (FACIT) - H Dang Van - Libros - Springer London Ltd - 9781852333591 - 8 de febrero de 2002
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 104,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 22 de jun. - 3 de jul.
Añadir a tu lista de deseos de iMusic

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 8 de febrero de 2002
ISBN13 9781852333591
Editores Springer London Ltd
Páginas 405
Dimensiones 155 × 235 × 21 mm   ·   589 g
Lengua Inglés  
Editor Dang Van, Hung
Editor George, Chris
Editor Janowski, Tomasz
Editor Moore, Richard

Mere med samme udgiver