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

Title:

Conference Author:

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:

Added Author:

Electronic Access:

Library	Item Barcode	Call Number	Material Type	Item Category 1	Status
Searching... PSZ JB	30000010177451	QA76.9.F67 I574 2007	Open Access Book	Proceedings, Conference, Workshop etc.	Searching... Unknown