Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings / edited by Sriram Sankaranarayanan, Enrico Vicario
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: SpringerLink Bücher | Lecture notes in computer science ; 9268Verlag: Cham [u.a.] : Springer, 2015Auflage: 1st ed. 2015Beschreibung: Online-Ressource (X, 321 p. 90 illus, online resource)ISBN:- 9783319229751
- QA75.5-76.95
Dieser Titel hat keine Exemplare