Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Software Development: From VDM to Java

Formal Software Development: From VDM to Java

Book Informaton
Formal Software Development: From VDM to Java

Author

Quentin Charatan, Aaron Kans

Year of Publication

2003

Publisher

Palgrave Macmillan

Pages

400

Language

en

ISBN

0333992814, 9780333992814, 9780230005860

ARI Id

1672205955308

Find on

World Cat

OpenLibrary

Internet Archive

This page has been accessed 5 times.
Citation Options
Download Citation
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Topics
Development Formal methods (Computer science) Computer software