Enlarge

Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings

Publication Data

Title Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings
Contributors Eerke Boiten, John Derrick, Graeme Smith
Publisher Springer
Publication date 2004
Publication location Berlin
Language English

Topics

Formal methods (Computer science) :: Congresses

Catalogue Data

OBNB ID GBA471253
ISBN 10 3540213775
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.0151

ISBD

P1053 xi, 540 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings. ISBN 3540213775. Published by Springer in 2004. Publication and catalogue information, links to buy online and reader comments.