Imagen de Google Jackets

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.

Por: Colaborador(es): Tipo de material: TextoTextoSeries 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
Tipo de medio:
  • computer
Tipo de soporte:
  • online resource
ISBN:
  • 9783540749646
Trabajos contenidos:
  • SpringerLink (Online service)
Tema(s): Formatos físicos adicionales: Sin títuloClasificación CDD:
  • 005.1015113 23
Clasificación LoC:
  • QA76.9.L63
  • QA76.5913
  • QA76.63
Recursos en línea:
Contenidos:
Springer eBooks
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
Valoración
    Valoración media: 0.0 (0 votos)
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.

para colocar un comentario.