Verification of Sequential and Concurrent Programs - Texts in Computer Science - Krzysztof R. Apt - Boeken - Springer London Ltd - 9781848827448 - 5 oktober 2009
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 97,99

Besteld in een afgelegen magazijn

Verwachte levering 7 - 15 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst
of

Ook verkrijgbaar als:

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

Meer door Krzysztof R. Apt

Alles tonen

Bekijk alles van Krzysztof R. Apt ( bijv. Hardcover Book en Paperback Book )