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 Authors: International Conference on Formal Engineering Methods Macau, China, SpringerLink (Online service)
Other Authors: He, Jifeng, 1943-, Liu, Zhiming, 1961-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2006]
Series:Lecture notes in computer science. 4260.
Subjects:
Formal methods (Computer science) > Congresses.
Software engineering > Congresses.
Electronic books.
Online Access:Connect to the full text of this electronic book
Publisher description

Internet

Connect to the full text of this electronic book
Publisher description

Available Online

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