Leikir
Forrit
Kvikmyndir og sjónvarpsefni
Bækur
Krakkar
google_logo Play
Leikir
Forrit
Kvikmyndir og sjónvarpsefni
Bækur
Krakkar
none
search
help_outline
Skrá inn með Google
play_apps
Söfn og tæki
payment
Greiðslur og áskriftir
reviews
Virkni mín á Play
redeem
Tilboð
Play Pass
settings
Stillingar
Persónuvernd
•
Þjónustuskilmálar
Leikir
Forrit
Kvikmyndir og sjónvarpsefni
Bækur
Krakkar
Rafbækur
Verification of Sequential and Concurrent Programs: Edition 2
31,15 USD
27,10 USD
Verification of Sequential and Concurrent Programs: Edition 3
31,50 USD
27,40 USD
Programmverifikation: Sequentielle, parallele und verteilte Programme
29,99 USD
16,19 USD
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings
19,25 USD
16,75 USD
Correct System Design: Recent Insights and Advances
19,25 USD
16,75 USD
Real-Time Systems: Formal Specification and Automatic Verification
105,00 USD
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
24,50 USD
21,32 USD
Provably Correct Systems
34,65 USD
30,15 USD
Verification of Sequential and Concurrent Programs
31,15 USD
27,10 USD