Domain specific program generation
: international seminar, Dagstuhl Castle, Germany, March 23 - 28, 2003 ; revised papers / Christian Lengauer ... (ed.). - Berlin : Springer, 2004. - XII, 324 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3016)
ISBN 978-3-540-22119-7 / 3-540-22119-0 kart. : EUR 51.36 (freier Pr.), sfr 85.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Münnemann, Ansgar: Infrastrukturmodell zur Integration expliziter Verhaltensbeschreibungen in die operative Prozessleittechnik
/ Ansgar Münnemann. - Als Ms. gedr. - Düsseldorf : VDI-Verl., 2005. - VI, 212 S. : graph. Darst.; 21 cm - (Fortschrittberichte VDI : Reihe 8, Meß-, Steuerungs- und Regelungstechnik; Nr. 1068)
ISBN 978-3-18-506808-9 / 3-18-506808-4 kart. : EUR 65.00 (nicht im Sortimentsbuchh.), EUR 58.50 (für VDI-Mitglieder)
Quelle: DNB
Integrated formal methods
: 6th international conference ; proceedings / IFM 2007, Oxford, UK, July 2 - 5, 2007. Jim Davies ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4591)
ISBN 978-3-540-73210-5
Lizenzpflichtig
Quelle: DNB
Integrated formal methods
: 5th international conference ; proceedings / IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Judi Romijn ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3771)
ISBN 978-3-540-32240-5
Lizenzpflichtig
Quelle: DNB
Logics of specification languages
/ Dines Bjørner ; Martin C. Henson ed.. - Berlin : Springer, 2008. - XXI, 623 S. : graph. Darst.; 24 cm - (Monographs in theoretical computer science)
ISBN 978-3-540-74106-0 / 3-540-74106-2 Pp. : EUR 96.25 (freier Pr.), sfr 157.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Jungclaus, Ralf: Modeling of dynamic object systems
: a logic based approach / Ralf Jungclaus. With a foreword by H.-D. Ehrich. - Braunschweig : Vieweg, 1993. - XVI, 231 S.; 21 cm - (Vieweg advanced studies in computer science)
ISBN 978-3-528-05386-4 / 3-528-05386-0 kart. : DM 74.00
Quelle: DNB
Practical formal methods for hardware design
/ C. Delgado Kloos ; W. Damm (ed.). - Berlin : Springer, 1997. - XIV, 293 S. : Ill., graph. Darst.; 24 cm - (Research reports ESPRIT : Project 6128, FORMAT; Vol. 1)
ISBN 978-3-540-62007-5 / 3-540-62007-9 kart. : DM 62.00
Literaturangaben
Quelle: DNB
Semantics of specification languages
: (SoSL) ; proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 - 27 October 1993 / D. J. Andrews ... (ed.). Publ. in collab. with the British Computer Society. Universiteit Utrecht. - London : Springer, 1994. - VIII, 355 S. : graph. Darst.; 24 cm - (Workshops in Computing)
ISBN 978-3-540-19854-3 / 3-540-19854-7 kart. : DM 98.00
Literaturangaben
Quelle: DNB
Lukanowicz, Martin: Spezifikation von Simulationsmodellen für Fertigungsprozesse
/ Martin Lukanowicz. - Wien : Oldenbourg, 1993. - XII, 223 S. - (Schriftenreihe der Österreichischen Computer-Gesellschaft; Bd. 67)
ISBN 978-3-486-22724-6 / 3-486-22724-6 kart. : DM 44.00
Literaturverz. S. 215 - 223
Quelle: DNB
System analysis and modeling: language profiles
: 5th international workshop ; revised selected papers / SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006. Reinhard Gotzhein ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4320)
ISBN 978-3-540-68373-5
Lizenzpflichtig
Quelle: DNB
