Formal methods and software engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings /

Annotation

Saved in:
Bibliographic Details
Corporate Authors: International Conference on Formal Engineering Methods Shanghai, China, SpringerLink (Online service)
Other Authors: Dong, Jin Song, 1967-, Zhu, Huibiao
Format: Conference Proceeding eBook
Language:English
Published: Berlin : Springer, 2010.
Berlin : 2010.
Series:Lecture notes in computer science ; 6447.
LNCS sublibrary. Programming and software engineering.
Physical Description:
1 online resource (xiv, 712 pages) : illustrations.
Subjects:
Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
Online Access:SpringerLink - Click here for access
Holdings details from CMU Electronic Access C502
Copy 1 CMU Electronic Access Available

Internet

SpringerLink - Click here for access

Similar Items