Formal Software Development From VDM to Java - From VDM to Java - Quentin Charatan - Annan - Macmillan Education UK - 9780333992814 - 9 september 2003
Om omslag och titel inte matchar är det titeln som gäller

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


Få ett e-postmeddelande när artikeln är tillgänglig
Har du en profil? Logga in
Lägg till din iMusic-önskelista
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

Media Annan     N/A   (Okänt format)
Releasedatum 9 september 2003
ISBN13 9780333992814
Label Macmillan Education UK
Antal sidor 256
Mått 246 × 191 × 15 mm   ·   385 g

Fler produkter med Quentin Charatan

Visa alla