Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures / [electronic resource] :
edited by Chris W. George, Zhiming Liu, Jim Woodcock.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
- XI, 240 p. online resource.
- Lecture Notes in Computer Science, 4710 0302-9743 ; .
- Lecture Notes in Computer Science, 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
Computer science.
Computer Communication Networks.
Software engineering.
Computer software.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Computer Communication Networks.
Algorithm Analysis and Problem Complexity.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
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
Computer science.
Computer Communication Networks.
Software engineering.
Computer software.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Software Engineering.
Computer Communication Networks.
Algorithm Analysis and Problem Complexity.
QA76.9.L63 QA76.5913 QA76.63
005.1015113