Artículos relacionados a Formal Methods and Hybrid Real-Time Systems

Formal Methods and Hybrid Real-Time Systems - Tapa blanda

 
9783540844280: Formal Methods and Hybrid Real-Time Systems
Tapa blanda
ISBN 10: 3540844287 ISBN 13: 9783540844280
Editorial: Springer, 2008

Esta edición ISBN ya no está disponible.

  • EditorialSpringer
  • Año de publicación2008
  • ISBN 10 3540844287
  • ISBN 13 9783540844280
  • EncuadernaciónPaperback
  • IdiomaInglés
  • Número de páginas564
  • EditorJones Cliff B., Liu Zhiming, Woodcock Jim
  • Contacto del fabricanteno disponible

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

Otras ediciones populares con el mismo título

9783540752202: Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays: 4700 (Lecture Notes in Computer Science)

Edición Destacada

ISBN 10:  354075220X ISBN 13:  9783540752202
Editorial: Springer, 2007
Tapa blanda