Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures / [electronic resource] :
edited by Chris George, Zhiming Liu, Jim Woodcock.
- 1st ed. 2007.
- XI, 240 p. online resource.
- Theoretical Computer Science and General Issues, 4710 2512-2029 ; .
- Theoretical Computer Science and General Issues, 4710 .
Delivering Real-Time Behaviour -- Applicative Modelling with RAISE -- A Theory of Duration Calculus with Application -- Understanding Programming Language Concepts Via Operational Semantics.
9783540749646
10.1007/978-3-540-74964-6 doi
Software engineering.
Computer systems.
Computer science.
Computer networks .
Algorithms.
Software Engineering.
Computer System Implementation.
Computer Science Logic and Foundations of Programming.
Computer Communication Networks.
Algorithms.
QA76.758
005.1
Delivering Real-Time Behaviour -- Applicative Modelling with RAISE -- A Theory of Duration Calculus with Application -- Understanding Programming Language Concepts Via Operational Semantics.
9783540749646
10.1007/978-3-540-74964-6 doi
Software engineering.
Computer systems.
Computer science.
Computer networks .
Algorithms.
Software Engineering.
Computer System Implementation.
Computer Science Logic and Foundations of Programming.
Computer Communication Networks.
Algorithms.
QA76.758
005.1