Gry
Aplikacje
Filmy i TV
Książki
Dla dzieci
google_logo Play
Gry
Aplikacje
Filmy i TV
Książki
Dla dzieci
none
search
help_outline
Zaloguj się przez Google
play_apps
Biblioteka i urządzenia
payment
Płatności i subskrypcje
reviews
Moja aktywność w Google Play
redeem
Okazje
Play Pass
settings
Ustawienia
Polityka prywatności
•
Warunki korzystania z kart podarunkowych i przedpłaconego salda
Gry
Aplikacje
Filmy i TV
Książki
Dla dzieci
E-booki
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