ಗೇಮ್ಗಳು
ಅಪ್ಲಿಕೇಶನ್ಗಳು
ಚಲನಚಿತ್ರಗಳು ಮತ್ತು ಟಿವಿ
ಪುಸ್ತಕಗಳು
ಮಕ್ಕಳು
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