Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Show other versions (1)
Bibliographic Details
Main Author: Kowalewski, Stefan
Corporate Author: SpringerLink (Online service)
Other Authors: Roveri, Marco
Format: Electronic Kit Book
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Series:Lecture Notes in Computer Science 6371
Subjects:
Computer science
Software engineering
Logic design
Computer Science
Software Engineering
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Special Purpose and Application-Based Systems
Online Access:http://dx.doi.org/10.1007/978-3-642-15898-8

Internet

http://dx.doi.org/10.1007/978-3-642-15898-8

ΒΚΠ - Πατρα: Unknown

Holdings details from ΒΚΠ - Πατρα: Unknown
Call Number: Unknown
Copy Unknown Available

Similar Items