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

Krzysztof R. Apt

Prijs

Kč 1.957

Besteld in een afgelegen magazijn

Verwachte levering 31 jul. - 8 aug.

Onze klanten zeggen:

Voeg toe aan uw iMusic-verlanglijst

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

Media	Boeken Paperback Book (Boek met zachte kaft en gelijmde rug)
Vrijgegeven	14 maart 2012
ISBN13	9781447125136
Uitgevers	Springer London Ltd
Pagina's	502
Afmetingen	156 × 233 × 28 mm · 730 g
Taal en grammatica	Engels
Deelnemer	Amir Pnueli

Alles tonen