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

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

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Cassez, Franck (Editor), Jard, Claude (Editor)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Series:Lecture Notes in Computer Science, 5215
Subjects:
Computer science.
Software engineering.
Computer programming.
Programming languages (Electronic computers).
Computers.
Computer logic.
Computer Science.
Programming Techniques.
Theory of Computation.
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Models and Principles.
Programming Languages, Compilers, Interpreters.
Online Access:Full Text via HEAL-Link

Internet

Full Text via HEAL-Link

ΒΚΠ - Πατρα: ALFd

Holdings details from ΒΚΠ - Πατρα: ALFd
Call Number: 330.01 BAU
Copy 1 Available

ΒΚΠ - Πατρα: BSC

Holdings details from ΒΚΠ - Πατρα: BSC
Call Number: 330.01 BAU
Copy 2 Available
Copy 3 Available

Similar Items