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
|
