Jurdziński, Marcin.Ničković, Dejan. (Eds.) () Formal Modeling and Analysis of Timed Systems10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. ProceedingsMLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Formal Modeling and Analysis of Timed Systems [electronic resource] : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings /
edited by Marcin Jurdziński, Dejan Ničković.
|Names:||Jurdziński, Marcin. | Ničković, Dejan.|
|Published:||Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.|
Lecture Notes in Computer Science, 7595
|Topics:||Computer science. | Software engineering. | Computer software. | Logic design. | Computer Science. | Logics and Meanings of Programs. | Software Engineering. | Programming Languages, Compilers, Interpreters. | Mathematical Logic and Formal Languages. | Programming Techniques. | Algorithm Analysis and Problem Complexity.|