الألعاب
التطبيقات
الأفلام والتلفزيون
الكتب
للأطفال
google_logo Play
الألعاب
التطبيقات
الأفلام والتلفزيون
الكتب
للأطفال
none
search
help_outline
تسجيل الدخول باستخدام حساب Google
play_apps
المكتبة والأجهزة
payment
الدفعات والاشتراكات
reviews
نشاطي في Play
redeem
العروض
Play Pass
settings
الإعدادات
سياسة الخصوصية
•
بنود الخدمة
الألعاب
التطبيقات
الأفلام والتلفزيون
الكتب
للأطفال
الكتب الإلكترونية
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$