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

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

Show other versions (3)

Bibliographic Details
Corporate Authors:	International Conference on Integrated Formal Methods Oxford, England, International Conference on Integrated Formal Methods
Other Authors:	Davies, Jim, Davies, Jim, 1964-, Gibbons, Jeremy, 1966-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, 2007 Berlin ; New York : c2007 Berlin ; New York : ©2007
Series:	LNCS sublibrary Programming and software engineering Lecture notes in computer science, 4591 LNCS sublibrary Programming and software engineering LNCS sublibrary Programming and software engineering. Lecture notes in computer science ; 4591 Lecture notes in computer science ; 4591 Lecture notes in computer science 4591
Subjects:	Formal methods (Computer science) > Congresses Formal methods (Computer science) Conference papers and proceedings

Internet

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number:	QA76.9.F67.I58 2007

Johns Hopkins University

Holdings details from Johns Hopkins University
Call Number:	QA76.9.F67 I58 2007

Harvard University

Holdings details from Harvard University
Call Number:	QA75 .L4 vol. 4591

Duke University

Holdings details from Duke University
Call Number:	QA75.5 .L438 v.4591

Cornell University

Holdings details from Cornell University
Call Number:	QA76.9.F67 I58 2007

Columbia University

Holdings details from Columbia University
Call Number:	QA76.9.F67 I684 2007g