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

Domain Modeling and the Duration Calculus

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

(Author) (Author) (Author)
paperback
Published: 28 August, 2007
Standard worldwide delivery by Mon, July 6 - Thu, July 9
Order within 0
Condition: NEW
$70.44
Price includes shipping
Available 20 in stock
- +
Add to basket Wishlist This
FREE Returns within 30 days
More Details

Popular Books by Chris George

View All Books by Chris George
Teach Yourself Photography
Teach Yourself Photography
Chris George
$26.58 $28.20
New
Add to basket
Mastering Digital Flash Photography (A Lark Photography Book)
Mastering Digital Flash Photography (A Lark Photography Book)
Chris George
$8.43 $31.75
Used
Add to basket
The Book of Digital Photography
The Book of Digital Photography
Chris George
$10.14 $26.86
Used
Add to basket
Mastering Digital Flash Photography: The Complete Reference Guide
Mastering Digital Flash Photography: The Complete Reference Guide
Chris George
$8.42 $24.16
Used
Add to basket
The Book of Digital Photography: (Updated edition)
The Book of Digital Photography: (Updated edition)
Chris George
$12.29 $26.86
Used
Add to basket
Total Digital Photography
Total Digital Photography
Chris George
$11.90 $32.22
Used
Add to basket
Specification Case Studies in RAISE
Specification Case Studies in RAISE
Chris George
$115.18 $120.85
New
Add to basket
Formal Methods and Software Engineering
Formal Methods and Software Engineering
Chris George
$131.43
New
Add to basket

Description

This book presents thoroughly revised tutorial papers based on lectures given by leading researchers at the International Training School on Domain Modeling and the Duration Calculus, held in Shanghai, China, as an associated event of ICTAC 2007. Topics addressed in detail are: development of real-time systems, domain engineering using abstract modeling, the area of duration calculus, and formal methods like language description using the operational semantics approach.
See more

More Details

Type Book
ISBN13 9783540749639
ISBN10 3540749632
Number Of Pages 240
Item Weight 1000 g
Publisher / Reseller Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Format paperback
Edition 2007 ed.
See More +