Hry
Aplikácie
Filmy a televízia
Knihy
Pre deti
google_logo Play
Hry
Aplikácie
Filmy a televízia
Knihy
Pre deti
none
search
help_outline
Prihlásiť sa účtom Google
play_apps
Knižnica a zariadenia
payment
Platby a odbery
reviews
Moja aktivita v Play
redeem
Ponuky
Play Pass
settings
Nastavenia
Pravidlá ochrany súkromia
•
Zmluvné podmienky
Hry
Aplikácie
Filmy a televízia
Knihy
Pre deti
E‑knihy
Verification of Sequential and Concurrent Programs: Edition 3
31,50 USD
27,40 USD
Verification of Sequential and Concurrent Programs: Edition 2
31,15 USD
27,10 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