Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

Bibliographic Details
Main Author: Dong, Jin Song
Corporate Author: SpringerLink (Online service)
Other Authors: Zhu, Huibiao
Format: Electronic Kit Book
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Series:Lecture Notes in Computer Science 6447
Subjects:
Computer science
Computer Communication Networks
Software engineering
Computer software
Computer Science
Software Engineering
Programming Techniques
Programming Languages, Compilers, Interpreters
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Online Access:http://dx.doi.org/10.1007/978-3-642-16901-4

Internet

http://dx.doi.org/10.1007/978-3-642-16901-4

ΒΚΠ - Πατρα: Unknown

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

Similar Items