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

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

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2014
Lingua
Inglese
ISBN 10 
3319104322
ISBN 13 
9783319104324
Rilegatura
Taschenbuch
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  3319104306 ISBN 13:  9783319104300
Casa editrice: Springer, 2014
Brossura