ഗെയിമുകൾ
ആപ്പുകൾ
സിനിമയും ടിവിഷോയും
പുസ്തകങ്ങൾ
കുട്ടികള്
google_logo Play
ഗെയിമുകൾ
ആപ്പുകൾ
സിനിമയും ടിവിഷോയും
പുസ്തകങ്ങൾ
കുട്ടികള്
none
search
help_outline
Google ഉപയോഗിച്ച് സൈൻ ഇൻ ചെയ്യുക
play_apps
ലൈബ്രറിയും ഉപകരണങ്ങളും
payment
പേയ്മെന്റുകളും സബ്സ്ക്രിപ്ഷനുകളും
reviews
എന്റെ പ്ലേപ്രവൃത്തി
redeem
ഓഫറുകൾ
Play Pass
settings
ക്രമീകരണം
സ്വകാര്യതാ നയം
•
സേവന നിബന്ധനകൾ
ഗെയിമുകൾ
ആപ്പുകൾ
സിനിമയും ടിവിഷോയും
പുസ്തകങ്ങൾ
കുട്ടികള്
ഇ-ബുക്കുകൾ
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
പുസ്തകം, 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
പുസ്തകം, 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