Syndetics omslagsbild
Bild från 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.

Medverkande: Materialtyp: TextSerie: Utgivningsuppgift: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Utgåva: 1st ed. 2007Beskrivning: XI, 240 p. online resourceInnehållstyp:
  • text
Medietyp:
  • computer
Bärartyp:
  • online resource
ISBN:
  • 9783540749646
Ämnen: DDK-klassifikation:
  • 005.1 23
Onlineresurser:
Innehåll:
Delivering Real-Time Behaviour -- Applicative Modelling with RAISE -- A Theory of Duration Calculus with Application -- Understanding Programming Language Concepts Via Operational Semantics.
Inga fysiska exemplar för denna post

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