Games
Apps
Films
Boeken
Kinderen
google_logo Play
Games
Apps
Films
Boeken
Kinderen
none
search
help_outline
Inloggen met Google
play_apps
Bibliotheek en apparaten
payment
Betaling en abonnementen
reviews
Mijn Play-activiteit
redeem
Aanbiedingen
Play Pass
settings
Instellingen
Privacybeleid
•
Servicevoorwaarden voor cadeaukaarten en prepaidtegoed
Games
Apps
Films
Boeken
Kinderen
E-boeken
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Boek 146
US$ 44,99
US$ 31,72
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
US$ 19,25
US$ 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
US$ 19,25
US$ 16,75
Practical Formal Methods for Hardware Design
US$ 19,25
US$ 16,75
Wo aber bleibt die Seele?: interdisziplinäre Annäherungen
Boek 7
US$ 12,77
US$ 9,99
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
US$ 19,25
US$ 16,75