Syndetics cover image
Image from Syndetics

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): Material type: TextSeries: Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Edition: 1st ed. 2007Description: XI, 240 p. online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540749646
Subject(s): DDC classification:
  • 005.1 23
Online resources:
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