Location & Availability for: Formal Modeling and Analysis of Timed Sy

 Staff view

You must be logged in to Tag Records

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ć.

Book Cover
Names: Jurdziński, Marcin. | Ničković, Dejan.
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Series: 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.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Formal Modeling and Analysis of Timed Sy