Using Event-B for Critical Device Software Systems - Neeraj Kumar Singh - Libros - Springer London Ltd - 9781447157908 - 7 de julio de 2015
En caso de que portada y título no coincidan, el título será el correcto

Neeraj Kumar Singh
Using Event-B for Critical Device Software Systems 2013 edition

Precio
$ 107,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 16 - 29 de jun.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation).

326 pages, 20 black & white tables, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 7 de julio de 2015
Fecha de lanzamiento original 2013
ISBN13 9781447157908
Editores Springer London Ltd
Páginas 326
Dimensiones 155 × 235 × 18 mm   ·   522 g
Lengua Inglés  

Mas por Neeraj Kumar Singh

Mostrar todo

Ver todo de Neeraj Kumar Singh ( Ej. Paperback Book y Hardcover Book )