Description: Domain Modeling and the Duration Calculus by Chris George, Zhiming Liu, Jim Woodcock Presents 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. FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher 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. Table of Contents Delivering Real-Time Behaviour.- Applicative Modelling with RAISE.- A Theory of Duration Calculus with Application.- Understanding Programming Language Concepts Via Operational Semantics. Long Description This volume contains a record of the lectures given at the ICTAC Training School on Domain Modelling and Duration Calculus, held during the 17th-21st September 2007 in Shanghai. The School was organised by East China Normal University, UNU-IIST, and the University of York as part of the celebrations of the 70th birthdays of Dines Bj Details ISBN3540749632 Short Title DOMAIN MODELING & THE DURATION Language English ISBN-10 3540749632 ISBN-13 9783540749639 Media Book Format Paperback Series Number 4710 Year 2007 Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K Subtitle International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures Place of Publication Berlin Country of Publication Germany Pages 240 Edited by Jim Woodcock Illustrations XI, 240 p. With online files/update. DOI 10.1007/978-3-540-74964-6 Edition 2007th Author Jim Woodcock Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Edition Description 2007 ed. Publication Date 2007-08-28 DEWEY 005.1 Audience Postgraduate, Research & Scholarly Series Theoretical Computer Science and General Issues We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:144510020;
Price: 115.34 AUD
Location: Melbourne
End Time: 2024-11-05T18:31:54.000Z
Shipping Cost: N/A AUD
Product Images
Item Specifics
Restocking fee: No
Return shipping will be paid by: Buyer
Returns Accepted: Returns Accepted
Item must be returned within: 30 Days
ISBN-13: 9783540749639
Book Title: Domain Modeling and the Duration Calculus
Number of Pages: 240 Pages
Language: English
Publication Name: Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Publication Year: 2007
Subject: Computer Science
Item Height: 235 mm
Item Weight: 397 g
Type: Textbook
Author: Chris George, Zhiming Liu, Jim Woodcock
Item Width: 155 mm
Format: Paperback
