Search:

Type:

Format:

Library:

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings Cover Image

E-book

E-book

Formal Modeling and Analysis of Timed Systems [electronic resource] : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings / edited by Franck Cassez, Claude Jard.

Cassez, Franck. (editor.). Jard, Claude. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783540857785
Physical Description: online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Search for related items by subject

Subject:

Computer science.
Computer system performance.
Software engineering.
Information theory.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Theory of Computation.
Models and Principles.
Programming Languages, Compilers, Interpreters.
Software Engineering.
System Performance and Evaluation.

Search for related items by series

Add to basket View My Basket Print Email Permalink Enable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

▼ Additional Content

No Content Available

► Shelf Browser

► MARC Record