Formal Software Development From VDM to Java - From VDM to Java - Quentin Charatan - Cits - Macmillan Education UK - 9780333992814 - 2003. gada 9. septembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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


Saņemt e-pastu, kad prece būs pieejama
Do you have a profile? Pierakstīties
Pievienot savam iMusic vēlmju sarakstam

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

Mediji Cits     N/A   (Nezināms formāts)
Izlaists 2003. gada 9. septembris
ISBN13 9780333992814
Izdevniecība Macmillan Education UK
Lapas 256
Izmēri 246 × 191 × 15 mm   ·   385 g

Vairāk no Quentin Charatan

Rādīt visu