Verification of Sequential and Concurrent Programs - Texts in Computer Science Softcover reprint of hardcover 3rd ed. 2009 edition

Krzysztof R. Apt

Pris

CA$ 143,11

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 Paperback Bog (Bog med blødt omslag og limet ryg)
Udgivet	14. marts 2012
ISBN13	9781447125136
Forlag	Springer London Ltd
Antal sider	502
Mål	156 × 233 × 28 mm · 730 g
Sprog	Engelsk
Medvirkende	Amir Pnueli

Vis alle