Enlarge

IFM '99 : proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

Publication Data

Title IFM '99 : proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
Contributors Keijirō Araki, Andy Galloway, Kenji Taguchi
Publisher Springer
Publication date 1999
Publication location London
Language English

Topics

011020698

Catalogue Data

OBNB ID GB9947676
ISBN 10 1852331070
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.131

ISBD

P1053 xiv,476p.
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:

IFM '99 : proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999. ISBN 1852331070. Published by Springer in 1999. Publication and catalogue information, links to buy online and reader comments.