Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control - Lecture Notes in Computer Science - Jean-raymond Abrial - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540619291 - 30 de octubre de 1996
En caso de que portada y título no coincidan, el título será el correcto

Jean-raymond Abrial
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control - Lecture Notes in Computer Science 1996 edition

Precio
€ 95,99

Pedido desde almacén remoto

Entrega prevista 7 - 15 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

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

In this text and CD-ROM, the major techniques for formally supported specification, design and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications.

532 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 30 de octubre de 1996
ISBN13 9783540619291
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 523
Dimensiones 155 × 235 × 27 mm   ·   734 g
Lengua Alemán  
Editor Abrial, Jean-Raymond
Editor Boerger, Egon
Editor Langmaack, Hans

Mas por Jean-raymond Abrial

Mostrar todo

Otros también han comprado

Ver todo de Jean-raymond Abrial ( Ej. Paperback Book y Hardcover Book )