Formal Software Development : From VDM to Java
by Quentin Charatan, Aaron Kans Paperback 2003
- Author: Quentin Charatan, Aaron Kans
- ISBN 13: 9780333992814
- ISBN 10: 0333992814
- Publication Year: 2003
- Language: English
Specifications
Index-100333992814
LanguageEnglish
Index-139780333992814
Period-
Class Track-
Publisher- (2003)
Pages-