Normal view
MARC view
Formal Modeling and Analysis of Timed Systems Электронный ресурс 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Franck Cassez, Claude Jard.
Material type: Computer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008ISBN: 9783540857785Subject(s): Computer Science | Computer system performance | Information theory | Logic design | Software engineering | Computer Science | Logics and Meanings of Programs | Models and Principles | Programming Languages, Compilers, Interpreters | Software Engineering | System Performance and Evaluation | Theory of ComputationOnline resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments on this title.