Vertel uw vrienden over dit artikel:
Formal Software Development From VDM to Java - From VDM to Java Quentin Charatan
Formal Software Development From VDM to Java - From VDM to Java
Quentin Charatan
This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software.
256 pages, index
| Media | Andere N/A (Onbekend formaat) |
| Vrijgegeven | 9 september 2003 |
| ISBN13 | 9780333992814 |
| Label | Macmillan Education UK |
| Pagina's | 256 |
| Afmetingen | 246 × 191 × 15 mm · 385 g |
Meer door Quentin Charatan
Alles tonenBekijk alles van Quentin Charatan ( bijv. Paperback Book en Hardcover Book )