Formal Software Development From VDM to Java - From VDM to Java - Quentin Charatan - Andet - Macmillan Education UK - 9780333992814 - 9. september 2003
Ved uoverensstemmelse mellem cover og titel gælder titel

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


Få en e-mail når varen bliver tilgængelig
Har du en konto? Log ind
Tilføj til din iMusic ønskeseddel
eller

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

Medie Andet     N/A   (Ukendt medie)
Udgivet 9. september 2003
ISBN13 9780333992814
Udgiver Macmillan Education UK
Antal sider 256
Mål 246 × 191 × 15 mm   ·   385 g