• Libros
  • Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
Artho, Cyrille
Anglès
EAN
9783319175805
Editorial
Any d'edició
2015
Pàgines
264
Idioma
Anglès
nº colección
476
Col·lecció
Communications in Computer and Information Science
Alt
235
Ample
155
Otros lectores lo han calificado con
Deixa’ns la teva opinió
0 opinions
Tu puntuación
Déjanos tu opinión
/ caracteres