Formal Software Development : From VDM to Java
Quentin Charatan
Bok Engelsk 20031201
Medvirkende | Kans, Aaron (Author)
|
---|---|
Utgitt | Gordonsville, VA, USA : Palgrave Macmillan , 20031201
|
Omfang | 1 online resource (252 p.)
|
Opplysninger | Y
|
Emner | |
ISBN | 0-333-99281-4
|