Verification of Sequential and Concurrent Programs - Texts in Computer Science - Krzysztof R. Apt - Bøker - Springer London Ltd - 9781848827448 - 5. oktober 2009
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Verification of Sequential and Concurrent Programs - Texts in Computer Science 3rd ed. 2009, Corr. 3rd printing 2010 edition

Krzysztof R. Apt

Pris
元 742

Bestillingsvarer

Forventes levert 7. - 15. jul
Legg til iMusic ønskeliste
Eller

Finnes også som:

Verification of Sequential and Concurrent Programs - Texts in Computer Science 3rd ed. 2009, Corr. 3rd printing 2010 edition

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs.


502 pages, 26 black & white illustrations, biography

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 5. oktober 2009
ISBN13 9781848827448
Utgivere Springer London Ltd
Antall sider 502
Mål 167 × 237 × 32 mm   ·   911 g
Språk Engelsk  
Medvirkende Amir Pnueli

Vis alle

Mer med Krzysztof R. Apt