보안문제해결
현재 사용자 께서는 로봇에 의한 과도한 접속으로 판단되어 제한된 정보만 보여지고 있습니다.

모든 정보를 이용하시려면 아래 보안문자를 입력해 주세요.
captcha-img
문제해결에 어려움이 있다면? badatime2@gmail.com
logo
logo
x
바코드검색
BOOKPRICE.co.kr
책, 도서 가격비교 사이트
바코드검색

인기 검색어

실시간 검색어

검색가능 서점

알라딘
교보문고
yes24
영풍문고
쿠팡
G마켓
11번가

도서목록 제공

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures (Paperback, 2007)

Zhiming Liu, Jim Woodcock, Chris W. George (엮은이)
Springer-Verlag New York Inc
94,980원

일반도서

검색중
서점 할인가 할인률 배송비 혜택/추가 실질최저가 구매하기
알라딘 77,880원 -18% 0원
3,900원
 73,980원 >
yes24 로딩중
교보문고 로딩중
notice_icon 검색 결과 내에 다른 책이 포함되어 있을 수 있습니다.

중고도서

검색중
서점 유형 등록개수 최저가 구매하기
로딩중

eBook

검색중
서점 정가 할인가 마일리지 실질최저가 구매하기
로딩중
책 정보
책 소개
목차
저자소개
리뷰
책속에서
추천도서

책 이미지

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
eBook 미리보기

책 정보

· 제목 : Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures (Paperback, 2007) 
· 분류 : 외국도서 > 컴퓨터 > 로직 설계
· ISBN : 9783540749639
· 쪽수 : 240쪽
· 출판일 : 2007-08-28

목차

Delivering Real-Time Behaviour.- Applicative Modelling with RAISE.- A Theory of Duration Calculus with Application.- Understanding Programming Language Concepts Via Operational Semantics.

저자소개

Zhiming Liu (엮은이)    정보 더보기
펼치기
Zhiming Liu의 다른 책 >
Engineering Trustworthy Software Systems: 4th International School, Setss 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures (Paperback, 2019)
Engineering Trustworthy Software Systems: 4th International School, Setss 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures (Paperback, 2019)
Zhiming Liu, Zili Zhang, Jonathan P. Bowen
Engineering Trustworthy Software Systems: Third International School, Setss 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures (Paperback, 2018)
Engineering Trustworthy Software Systems: Third International School, Setss 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures (Paperback, 2018)
Zhiming Liu, Zili Zhang, Jonathan P. Bowen
Mechanical and Electronics Engineering VI (Paperback)
Mechanical and Electronics Engineering VI (Paperback)
Zhiming Liu
Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, (Paperback)
Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, (Paperback)
Zhiming Liu, Jim Woodcock, Huibiao Zhu
Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Hardcover)
Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Hardcover)
Zhiming Liu, He Jifeng
Jim Woodcock (엮은이)    정보 더보기
펼치기
Jim Woodcock의 다른 책 >
Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Pro (Paperback)
Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Pro (Paperback)
Jim Woodcock, Wenhui Zhang, Shengchao Qin
Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, (Paperback)
Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, (Paperback)
Zhiming Liu, Jim Woodcock, Huibiao Zhu
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Paperback)
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Paperback)
Natarajan Shankar, Jim Woodcock
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Sele (Paperback)
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Sele (Paperback)
Bertrand Meyer, Jim Woodcock
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Procee (Paperback, 2003)
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Procee (Paperback, 2003)
Jin Song Dong , Jim Woodcock
Chris W. George (엮은이)    정보 더보기
펼치기

추천도서

분야의 베스트셀러 >
iOS Architecture Patterns : MVC, MVP, MVVM, VIPER, and VIP in Swift (Paperback)
iOS Architecture Patterns : MVC, MVP, MVVM, VIPER, and VIP in Swift (Paperback)
Garcia Raul Ferrer Garcia
The Nvidia Way: Jensen Huang and the Making of a Tech Giant (Hardcover) - 원서
The Nvidia Way: Jensen Huang and the Making of a Tech Giant (Hardcover) - 원서
태 킴
C Programming Language (Paperback, 2)
C Programming Language (Paperback, 2)
Brian W. Kernighan
Build a Large Language Model (from Scratch) (Paperback)
Build a Large Language Model (from Scratch) (Paperback)
Sebastian Raschka
C Programming: A Modern Approach (Paperback, 2)
C Programming: A Modern Approach (Paperback, 2)
K. N. King
이 포스팅은 쿠팡 파트너스 활동의 일환으로,
이에 따른 일정액의 수수료를 제공받습니다.
이 포스팅은 제휴마케팅이 포함된 광고로 커미션을 지급 받습니다.
도서 DB 제공 : 알라딘 서점(www.aladin.co.kr)
최근 본 책