Formal Software Development From VDM to Java - From VDM to Java - Quentin Charatan - Drugo - Macmillan Education UK - 9780333992814 - 9. septembra 2003
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Formal Software Development From VDM to Java - From VDM to Java


Prejmite e-pošto, ko bo izdelek na voljo
Do you have a profile? Prijava
Dodaj na svoj seznam želja iMusic

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

Medij Drugo     N/A   (Neznan format)
Izdano 9. septembra 2003
ISBN13 9780333992814
Založba Macmillan Education UK
Strani 256
Dimenzije 246 × 191 × 15 mm   ·   385 g