ហ្គេម
កម្មវិធី
ភាពយន្ត
សៀវភៅ
កុមារ
google_logo Play
ហ្គេម
កម្មវិធី
ភាពយន្ត
សៀវភៅ
កុមារ
none
search
help_outline
ចូលដោយប្រើ Google
play_apps
បណ្ណាល័យ និងឧបករណ៍
payment
ការបង់ប្រាក់ និងការជាវ
reviews
សកម្មភាព Play របស់ខ្ញុំ
redeem
ការផ្តល់ជូន
Play Pass
settings
ការកំណត់
គោលការណ៍ឯកជនភាព
•
លក្ខខណ្ឌប្រើប្រាស់
ហ្គេម
កម្មវិធី
ភាពយន្ត
សៀវភៅ
កុមារ
សៀវភៅអេឡិចត្រូនិក
Verification of Sequential and Concurrent Programs: Edition 2
31.15$
27.10$
Verification of Sequential and Concurrent Programs: Edition 3
31.50$
27.40$
Programmverifikation: Sequentielle, parallele und verteilte Programme
29.99$
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
19.25$
16.75$
Correct System Design: Recent Insights and Advances
19.25$
16.75$
Real-Time Systems: Formal Specification and Automatic Verification
105.00$
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
24.50$
21.32$
Provably Correct Systems
34.65$
30.15$
Verification of Sequential and Concurrent Programs
31.15$
27.10$