Learning by doing : practical courses in lightweight formal methods using VDM++ :: P. G. Larsen :: University of Newcastle upon Tyne 2006 :: OBNB, the Open British National Bibliography

Publication Data

Title Learning by doing : practical courses in lightweight formal methods using VDM++
Author P. G. Larsen
Contributors John Fitzgerald, S. Riddle, S. Riddle
Publisher University of Newcastle upon Tyne
Publication date 2006
Publication location Newcastle upon Tyne
Language English

Descriptive Notes

"December 2006."

Topics

Computer-aided software engineering
Software engineering :: Study and teaching
Formal methods (Computer science)

Catalogue Data

OBNB ID GBA717955
ISBN 10 n/a
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1053 [20] 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:

Learning by doing : practical courses in lightweight formal methods using VDM++ by P. G. Larsen. Published by University of Newcastle upon Tyne in 2006. Publication and catalogue information, links to buy online and reader comments.