Verification of Sequential and Concurrent Programs - Texts in Computer Science - Krzysztof R. Apt - Boeken - Springer London Ltd - 9781447125136 - 14 maart 2012
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 79,49

Besteld in een afgelegen magazijn

Verwachte levering 9 - 19 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     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

Meer door Krzysztof R. Apt

Alles tonen

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