Verification of Sequential and Concurrent Programs - Texts in Computer Science - Krzysztof R. Apt - Bøker - Springer London Ltd - 9781447125136 - 14. mars 2012
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
€ 72,49

Bestillingsvarer

Forventes levert 2. - 10. des
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Finnes også 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øker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 14. mars 2012
ISBN13 9781447125136
Utgivere Springer London Ltd
Antall sider 502
Mål 156 × 233 × 28 mm   ·   730 g
Språk Engelsk  
Medvirkende Amir Pnueli
Vis alle

Mer med Krzysztof R. Apt

Se alt med Krzysztof R. Apt ( f.eks. Innbunden bok og Pocketbok )