Vista normal Vista MARC Vista ISBD

Formal modeling and analysis of timed systems : 12th international conference, formats 2014, florence, italy, september 8-10, 2014. Proceedings / edited by Axel Legay, Marius Bozga. - x, 253 páginas : 74 ilustraciones - Lecture Notes in Computer Science, 8711 0302-9743 ; .

Springer eBooks

ISBN: 9783319105123

LC Class. No.: QA75.5-76.95