गेम
अॅप्स
चित्रपट आणि टीव्ही
पुस्तके
मुले
google_logo Play
गेम
अॅप्स
चित्रपट आणि टीव्ही
पुस्तके
मुले
none
search
help_outline
Google सह साइन इन करा
play_apps
लायब्ररी आणि डिव्हाइस
payment
पेमेंट आणि सदस्यत्वे
reviews
माझी Play ॲक्टिव्हिटी
redeem
ऑफर
Play Pass
settings
सेटिंग्ज
गोपनीयता धोरण
•
सेवा अटी
गेम
अॅप्स
चित्रपट आणि टीव्ही
पुस्तके
मुले
ईबुक
Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang
$२९.००
$१७.२७
Temporal Verification of Reactive Systems: Safety
$३४.६५
$३०.१५
The Temporal Logic of Reactive and Concurrent Systems: Specification
$१९.२५
$१६.७५
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
$१९.२५
$१६.७५
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
$३४.६५
$३०.१५
Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures
$३४.६५
$३०.१५