Oyunlar
Uygulamalar
Filmler ve TV
Kitaplar
Çocuklar
google_logo Play
Oyunlar
Uygulamalar
Filmler ve TV
Kitaplar
Çocuklar
none
search
help_outline
Google ile oturum aç
play_apps
Kitaplık ve cihazlar
payment
Ödemeler ve abonelikler
reviews
Play etkinliğim
redeem
Teklifler
Play Pass
settings
Ayarlar
Gizlilik Politikası
•
Hizmet Şartları
Oyunlar
Uygulamalar
Filmler ve TV
Kitaplar
Çocuklar
E-kitaplar
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Kitap 146
$44,99
$31,72
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
$19,25
$16,75
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
Practical Formal Methods for Hardware Design
$19,25
$16,75
Wo aber bleibt die Seele?: interdisziplinäre Annäherungen
Kitap 7
$12,77
$9,99
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
$19,25
$16,75