Cover image not available

Towards next generation tools for VDM : contributions to the first international overture workshop, Newcastle, July 2005

Publication Data

Title Towards next generation tools for VDM : contributions to the first international overture workshop, Newcastle, July 2005
Contributors John Fitzgerald, P. G. Larsen, N. Plat, N. Plat
Publisher University of Newcastle upon Tyne
Publication date 2006
Publication location Newcastle upon Tyne
Language English

Descriptive Notes

Title from cover

Topics

Software engineering :: Congresses
Formal methods (Computer science) :: Congresses

Catalogue Data

OBNB ID GBA675503
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.1

ISBD

P1053 81 p.
P1042 Includes bibliographical references.

Buy a copy

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

Towards next generation tools for VDM : contributions to the first international overture workshop, Newcastle, July 2005. Published by University of Newcastle upon Tyne in 2006. Publication and catalogue information, links to buy online and reader comments.