Cover Image

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

Show other versions (1)
Bibliographic Details
Corporate Authors: International Conference on Integrated Formal Methods Eindhoven, Netherlands, SpringerLink (Online service)
Other Authors: Pol, Jaco van de, Romijn, Judi, Smith, Graeme, 1966-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2005]
Series:Lecture notes in computer science. 3771.
Subjects:
Formal methods (Computer science) > Congresses.
Méthodes formelles (Informatique) > Congrès.
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 I58 2005eb
 
Call Number Status Get It
QA76.9.F67 I58 2005eb Available