Specification of Software Systems - Texts in Computer Science - V.S. Alagar - Bøker - Springer London Ltd - 9780857292766 - 28. mars 2011
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Specification of Software Systems - Texts in Computer Science 2nd ed. 2011 edition

V.S. Alagar

Pris
Íkr 6.679

Bestillingsvarer

Forventes levert 11. - 21. jul
Legg til iMusic ønskeliste
Eller

Specification of Software Systems - Texts in Computer Science 2nd ed. 2011 edition

Revised and updated, Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification. The text covers a wide range of formal specification techniques.


718 pages, 1, black & white illustrations

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 28. mars 2011
ISBN13 9780857292766
Utgivere Springer London Ltd
Antall sider 646
Mål 159 × 240 × 44 mm   ·   1,11 kg
Språk Engelsk  

Vis alle

Mer med V.S. Alagar