Cover Image

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings /

Show other versions (1)
Bibliographic Details
Corporate Author: International Conference on Formal Engineering Methods Macau, China
Other Authors: Liu, Zhiming, 1961-, He, Jifeng, 1943-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [2006]
Series:Lecture notes in computer science. 4260.
Subjects:
Formal methods (Computer science) > Congresses.
Software engineering > Congresses.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.9.F67 I5788 2006
 
Call Number Status Get It
QA76.9.F67 I5788 2006 Available