Permainan
Apl
Filem & TV
Buku
Kanak-kanak
google_logo Play
Permainan
Apl
Filem & TV
Buku
Kanak-kanak
none
search
help_outline
Log masuk dengan Google
play_apps
Pustaka & peranti
payment
Pembayaran & langganan
reviews
Aktiviti Play Saya
redeem
Tawaran
Play Pass
settings
Tetapan
Dasar Privasi
•
Syarat Perkhidmatan
Permainan
Apl
Filem & TV
Buku
Kanak-kanak
e-Buku
Verification of Sequential and Concurrent Programs: Edition 3
USD 31.50
USD 27.40
Verification of Sequential and Concurrent Programs: Edition 2
USD 31.15
USD 27.10
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