Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings - Tapa blanda

 
9783319104324: Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Tapa blanda
ISBN 10: 3319104322 ISBN 13: 9783319104324
Editorial: Springer, 2014

Esta edición ISBN ya no está disponible.

Sinopsis

Program Verification.- Testing.- Component-Based Systems.- Real-Time and Embedded Systems.- Model Checking and Automata Learning.- Tool Papers.- Program Correctness.- Adaptive and Multi-Agent Systems.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2014
Idioma
Inglés
ISBN 10 
3319104322
ISBN 13 
9783319104324
Encuadernación
Taschenbuch
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9783319104300: Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings: 8702 (Programming and Software Engineering)

Edición Destacada

ISBN 10:  3319104306 ISBN 13:  9783319104300
Editorial: Springer, 2014
Tapa blanda