Verification of Sequential and Concurrent Programs - Texts in Computer Science - Krzysztof R. Apt - Böcker - Springer London Ltd - 9781447125136 - 14 mars 2012
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 839

Beställningsvara

Förväntad leverans 6 - 14 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Finns även som:

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 Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 14 mars 2012
ISBN13 9781447125136
Utgivare Springer London Ltd
Antal sidor 502
Mått 156 × 233 × 28 mm   ·   730 g
Språk Engelska  
Medverkande Amir Pnueli

Fler produkter med Krzysztof R. Apt

Visa alla

Se alt med Krzysztof R. Apt ( t.ex. Inbunden Bok och Pocketbok )