Igre
Aplikacije
Filmovi i TV
Knjige
Djeca
google_logo Play
Igre
Aplikacije
Filmovi i TV
Knjige
Djeca
none
search
help_outline
Prijavite se putem Googlea
play_apps
Zbirka i uređaji
payment
Plaćanja i pretplate
reviews
Aktivnosti na Playu
redeem
Ponude
Play Pass
settings
Postavke
Pravila o privatnosti
•
Uvjeti pružanja usluge
Igre
Aplikacije
Filmovi i TV
Knjige
Djeca
E-knjige
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