Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

Show other versions (1)
Bibliographic Details
Main Author: MΓ©ry, Dominique
Corporate Author: SpringerLink (Online service)
Other Authors: Merz, Stephan
Format: Electronic Kit Book
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Series:Lecture Notes in Computer Science 6396
Subjects:
Computer science
Software engineering
Computer software
Logic design
Computer Science
Software Engineering
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Programming Techniques
Algorithm Analysis and Problem Complexity
Online Access:http://dx.doi.org/10.1007/978-3-642-16265-7

Similar Items

Similar Items