Cover is for reference only

Integrated formal methods：5th international conference, IFM 2005, Einhoven, The Netherlands, November 29 - December 2, 2005 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: International Conference on Integrated Formal Methods (5th 2005 Eindhoven, Netherlands); LINK (Online service)
Group Author: Romijn Judi.; Pol Jaco van de.; Smith Graeme, 1966-
Published: Springer,
Publisher Address: Berlin
Publication Dates: 2005.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 3771
Subjects:
Formal methods (Computer science)
Online Access: http://dx.doi.org/10.1007/11589976
Publication Frequency: Print version also available.
Index Number: TP311
CLC: TP311.11-532
TP311.5-532
TP301.2-532
Contents: Title from title screen (viewed November 1, 2005)
Electronic book available via Springer Link.
Print version originally published in 2005.
Access restricted to subscribing institutions.
Includes bibliographical references and index.

Related Book Recommendations