Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings
Title
: 
Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings

Conference Author
: 
International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England)

Series
: 
Lecture notes in computer science, 4591

Publication Information
: 
Berlin : Springer-Verlag, 2007

Physical Description
: 
ix, 660 p. : ill. ; 24 cm.

ISBN
: 
9783540732099

General Note
: 
Available online version

Subject Term
: 
Formal methods (Computer science) -- Congresses

Added Author
: 
Davies, Jim, 1964-
 
Gibbons, Jeremy, 1966-

Electronic Access
: 
Fulltext


LibraryItem BarcodeCall NumberMaterial TypeItem Category 1
PSZ JB30000010177451QA76.9.F67 I574 2007Open Access BookProceedings, Conference, Workshop etc.