Speletjies
Programme
Flieks en TV
Boeke
Kinders
google_logo Play
Speletjies
Programme
Flieks en TV
Boeke
Kinders
none
search
help_outline
Meld aan met Google
play_apps
Biblioteek en toestelle
payment
Betalings en intekeninge
reviews
My Play-aktiwiteit
redeem
Aanbiedings
Play Pass
settings
Instellings
Privaatheidsbeleid
•
Diensbepalings
Speletjies
Programme
Flieks en TV
Boeke
Kinders
E-boeke
Verification of Sequential and Concurrent Programs: Edition 2
USD 31,15
USD 27,10
Verification of Sequential and Concurrent Programs: Edition 3
USD 31,50
USD 27,40
Programmverifikation: Sequentielle, parallele und verteilte Programme
USD 29,99
USD 16,19
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
USD 19,25
USD 16,75
Correct System Design: Recent Insights and Advances
USD 19,25
USD 16,75
Real-Time Systems: Formal Specification and Automatic Verification
USD 105,00
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
USD 24,50
USD 21,32
Provably Correct Systems
USD 34,65
USD 30,15
Verification of Sequential and Concurrent Programs
USD 31,15
USD 27,10