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.
Material type:
TextSeries: Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Edition: 1st ed. 2007Description: XI, 240 p. online resourceContent type: - text
- computer
- online resource
- 9783540749646
- 005.1 23
Contents:
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.
Licensed e-book