Ігри
Додатки
Фільми
Книги
Діти
google_logo Play
Ігри
Додатки
Фільми
Книги
Діти
none
search
help_outline
Увійти через Google
play_apps
Бібліотека та пристрої
payment
Оплата й підписки
reviews
Мої дії в Google Play
redeem
Пропозиції
Play Pass
settings
Налаштування
Політика конфіденційності
•
Умови використання подарункових карток і передоплаченого балансу
Ігри
Додатки
Фільми
Книги
Діти
Електронні книги
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