Verification of Sequential and Concurrent Programs - Texts in Computer Science - Krzysztof R. Apt - Bøger - Springer London Ltd - 9781447125136 - 14. marts 2012
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
S$ 136,88

Bestilles fra fjernlager

Forventes klar til forsendelse 8. - 12. dec.
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Findes 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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 14. marts 2012
ISBN13 9781447125136
Forlag Springer London Ltd
Antal sider 502
Mål 156 × 233 × 28 mm   ·   730 g
Sprog Engelsk  
Medvirkende Amir Pnueli
Vis alle

Mere med Krzysztof R. Apt

Se alt med Krzysztof R. Apt ( f.eks. Hardcover bog og Paperback Bog )