Domain Modeling and the Duration Calculus [electronic resource] : International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures / edited by Chris George, Zhiming Liu, Jim Woodcock.
Contributor(s): George, Chris [editor.]
| Liu, Zhiming [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Theoretical Computer Science and General Issues: 4710Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Edition: 1st ed. 2007.Description: XI, 240 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540749646.Subject(s): Software engineering | Computer systems | Computer science | Computer networks | Algorithms | Software Engineering | Computer System Implementation | Computer Science Logic and Foundations of Programming | Computer Communication Networks | AlgorithmsAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.1 Online resources: Click here to access online
Contents:
In:
Springer Nature eBook
Delivering Real-Time Behaviour -- Applicative Modelling with RAISE -- A Theory of Duration Calculus with Application -- Understanding Programming Language Concepts Via Operational Semantics.
No physical items for this record
Delivering Real-Time Behaviour -- Applicative Modelling with RAISE -- A Theory of Duration Calculus with Application -- Understanding Programming Language Concepts Via Operational Semantics.
There are no comments for this item.