Խաղեր
Հավելվածներ
Ֆիլմեր
Գրքեր
Երեխաներ
google_logo Play
Խաղեր
Հավելվածներ
Ֆիլմեր
Գրքեր
Երեխաներ
none
search
help_outline
Մտնել Google հաշիվ
play_apps
Դարան և սարքեր
payment
Վճարումներ և բաժանորդագրություններ
reviews
Իմ գործողությունները Play-ում
redeem
Առաջարկներ
Play Pass
Անհատականացումը Play-ում
settings
Կարգավորումներ
Գաղտնիության քաղաքականություն
•
Օգտագործման պայմաններ
Խաղեր
Հավելվածներ
Ֆիլմեր
Գրքեր
Երեխաներ
Էլեկտրոնային գրքեր
Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang
29,00 $
17,27 $
Temporal Verification of Reactive Systems: Safety
34,65 $
30,15 $
The Temporal Logic of Reactive and Concurrent Systems: Specification
19,25 $
16,75 $
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
19,25 $
16,75 $
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
34,65 $
30,15 $
Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures
34,65 $
30,15 $