Gry
Aplikacje
Filmy i TV
Książki
Dla dzieci
google_logo Play
Gry
Aplikacje
Filmy i TV
Książki
Dla dzieci
none
search
help_outline
Zaloguj się przez Google
play_apps
Biblioteka i urządzenia
payment
Płatności i subskrypcje
reviews
Moja aktywność w Google Play
redeem
Okazje
Play Pass
settings
Ustawienia
Polityka prywatności
•
Warunki korzystania z kart podarunkowych i przedpłaconego salda
Gry
Aplikacje
Filmy i TV
Książki
Dla dzieci
E-booki
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Część 146
44,99 USD
31,72 USD
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
19,25 USD
16,75 USD
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 USD
16,75 USD
Practical Formal Methods for Hardware Design
19,25 USD
16,75 USD
Wo aber bleibt die Seele?: interdisziplinäre Annäherungen
Część 7
12,77 USD
9,99 USD
Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
19,25 USD
16,75 USD