Jeux
Applications
Films et émissions
Livres
Enfants
google_logo Play
Jeux
Applications
Films et émissions
Livres
Enfants
none
search
help_outline
Se connecter avec Google
play_apps
Bibliothèque et appareils
payment
Paiements et abonnements
reviews
Mon activité Play
redeem
Offres
Play Pass
settings
Paramètres
Politique de confidentialité
•
Conditions d'utilisation
Jeux
Applications
Films et émissions
Livres
Enfants
Ebooks
Verification of Sequential and Concurrent Programs: Edition 3
31,50 $US
27,40 $US
Verification of Sequential and Concurrent Programs: Edition 2
31,15 $US
27,10 $US
Programmverifikation: Sequentielle, parallele und verteilte Programme
29,99 $US
16,19 $US
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 $US
16,75 $US
Correct System Design: Recent Insights and Advances
19,25 $US
16,75 $US
Real-Time Systems: Formal Specification and Automatic Verification
105,00 $US
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
24,50 $US
21,32 $US
Provably Correct Systems
34,65 $US
30,15 $US
Verification of Sequential and Concurrent Programs
31,15 $US
27,10 $US