Spiele
Apps
Filme & Serien
Bücher
Kinder
google_logo Play
Spiele
Apps
Filme & Serien
Bücher
Kinder
none
search
help_outline
Über Google anmelden
play_apps
Mediathek und Geräte
payment
Zahlungen & Abos
reviews
Meine Play-Aktivitäten
redeem
Angebote
Play Pass
settings
Einstellungen
Datenschutzerklärung
•
Nutzungsbedingungen
Spiele
Apps
Filme & Serien
Bücher
Kinder
E-Books
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Buch 146
44,99 $
31,72 $
Wo aber bleibt die Seele?: interdisziplinäre Annäherungen
Buch 7
12,77 $
9,99 $
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 $
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
19,25 $
16,75 $