Learning by doing : practical courses in lightweight formal methods using VDM++
ShareCopied to clipboardLearning by doing : practical courses in lightweight formal methods using VDM++ is a book. It was written by Peter Gorm Larsen and published by University of Newcastle upon Tyne in 2006.
Key facts
- author: Peter Gorm Larsen
- publication date: 2006
- book publisher: University of Newcastle upon Tyne
- book series: Technical report series
- book subjects: Computer-aided software engineering, Formal methods (Computer science), Software engineering-Study and teaching
See more factsExtract data
Download datasets about Learning by doing : practical courses in lightweight formal methods using VDM++:
Dataset of books series that contain Learning by doing : practical courses in lightweight formal methods using VDM++
"Learning by doing : practical courses in lightweight formal methods using VDM++" is one of the books by Peter Gorm Larsen, books by University of Newcastle upon Tyne and 2,617,384 books in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.