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

Krzysztof R. Apt

Pris

DKK 839

Bestilles fra fjernlager

Forventes klar til forsendelse 2. - 8. jul.

Vores kunder siger:

Tilføj til din iMusic ønskeseddel

Eller

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

Medie	Bøger Hardcover bog (Bog med hård ryg og stift omslag)
Udgivet	5. oktober 2009
ISBN13	9781848827448
Forlag	Springer London Ltd
Antal sider	502
Mål	167 × 237 × 32 mm · 911 g
Sprog	Engelsk
Medvirkende	Amir Pnueli

Vis alle