Research Catalog
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 / Jim Davies, Jeremy Gibbons (eds.).
- Author
- International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England)
- Publication
- Berlin ; New York : Springer, 2007.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA76.9.F67 I684 2007g | Off-site |
Holdings
Details
- Additional Authors
- Description
- ix, 660 pages : illustrations; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 4591
- Uniform Title
- Lecture notes in computer science ; 4591.
- Alternative Title
- International Conference on Integrated Formal Methods
- IFM 2007
- Subject
- Bibliography (note)
- Includes bibliographical references and index.
- ISBN
- 9783540732099 (pbk.)
- 3540732098 (pbk.)
- OCLC
- ocn150414830
- 150414830
- SCSB-5350459
- Owning Institutions
- Columbia University Libraries