Formal software development from VDM to Java /
Saved in:
Main Author: | Charatan, Quentin |
---|---|
Corporate Author: | ebrary, Inc |
Other Authors: | Kans, Aaron |
Format: | Electronic eBook |
Language: | English |
Published: |
Basingstoke :
Palgrave Macmillan,
2004.
|
Subjects: | |
Online Access: | An electronic book accessible through the World Wide Web; click to view |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Formal software development from VDM to Java /
by: Charatan, Quentin
Published: (2004) -
Software specification methods
Published: (2006) -
Software specification methods
Published: (2006) -
Formal methods applied to complex systems : implementation of the B method /
Published: (2014) -
Formal methods applied to complex systems : implementation of the B method /
Published: (2014)