Domain modeling and the duration calculus International Training School, Shanghai, China, September 17-21, 2007 ; advanced lectures

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Training School on Domain Modelling and Duration Calculus (BerichterstatterIn)
Weitere Verfasser:	George, Chris W. (HerausgeberIn), Liu, Zhiming (BerichterstatterIn), Woodcock, Jim (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2007
Schriftenreihe:	Lecture notes in computer science 4710
Schlagworte:	Computer Communication Networks > Computer Science > Computer software > Logic design > Software engineering > Konferenzschrift > Echtzeitverarbeitung > Domain engineering > Programmiersprache > Operationale Semantik
Online Zugang:	Inhaltsverzeichnis Cover Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!