Domain Modeling and the Duration Calculus [electronic resource] : International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures / edited by Chris W. George, Zhiming Liu, Jim Woodcock.
Tipo de material: TextoSeries Lecture Notes in Computer Science ; 4710 | Lecture Notes in Computer Science ; 4710Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Descripción: XI, 240 p. online resourceTipo de contenido:- text
- computer
- online resource
- 9783540749646
- SpringerLink (Online service)
- 005.1015113 23
- QA76.9.L63
- QA76.5913
- QA76.63
Contenidos:
Springer eBooks
No hay ítems correspondientes a este registro
Delivering Real-Time Behaviour -- Applicative Modelling with RAISE -- A Theory of Duration Calculus with Application -- Understanding Programming Language Concepts Via Operational Semantics.
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.