게임
앱
영화/TV
도서
키즈
google_logo Play
게임
앱
영화/TV
도서
키즈
none
search
help_outline
Google 계정으로 로그인
play_apps
라이브러리 및 기기
payment
결제 및 정기 결제
reviews
내 Play 활동
redeem
할인 혜택
Play Pass
settings
설정
개인정보처리방침
•
서비스 약관
게임
앱
영화/TV
도서
키즈
eBook
Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang
US$29.00
US$17.27
Temporal Verification of Reactive Systems: Safety
US$34.65
US$30.15
The Temporal Logic of Reactive and Concurrent Systems: Specification
US$19.25
US$16.75
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers
US$19.25
US$16.75
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
US$34.65
US$30.15
Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures
US$34.65
US$30.15