Fme '94 Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings - Lecture Notes in Computer Science - International Symposium of Formal Methods - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540585558 - 12 de octubre de 1994
En caso de que portada y título no coincidan, el título será el correcto

International Symposium of Formal Methods
Fme '94 Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings - Lecture Notes in Computer Science 1994 edition

Precio
$ 107,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

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

This volume of conference proceedings contains discussion of process modelling, model checking, real-time aspects, refinement proof and the specification of programming languages. Industrial usage reports describe experiences in a variety of areas, including railway signalling.

732 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 12 de octubre de 1994
ISBN13 9783540585558
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 732
Dimensiones 156 × 234 × 37 mm   ·   1,03 kg
Lengua Inglés  
Editor Bertran, Miquel
Editor Denvir, Tim
Editor Naftalin, Maurice

Mere med samme udgiver

Ver todo de International Symposium of Formal Methods ( Ej. Paperback Book )