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

Krzysztof R. Apt

Prijs

€ 97,99

Besteld in een afgelegen magazijn

Verwachte levering 1 - 11 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 Hardcover Book (Boek met harde rug en kaft)
Vrijgegeven	5 oktober 2009
ISBN13	9781848827448
Uitgevers	Springer London Ltd
Pagina's	502
Afmetingen	167 × 237 × 32 mm · 911 g
Taal en grammatica	Engels
Deelnemer	Amir Pnueli

Alles tonen