Semantics, applications, and implementation of program generation
: second international workshop ; proceedings / SAIG 2001, Florence, Italy, September 6, 2001. W. Taha (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2196)
ISBN 978-3-540-44806-8
Lizenzpflichtig
Quelle: DNB
Semantics, applications, and implementation of program generation
: second international workshop ; proceedings / SAIG 2001, Florence, Italy, September 6, 2001. Walid Taha (ed.). - Berlin : Springer, 2001. - X, 218 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2196)
ISBN 978-3-540-42558-8 / 3-540-42558-6 kart.
Literaturangaben
Quelle: DNB
Static analysis
: 9th international symposium ; proceedings / SAS 2002, Madrid, Spain, September 17 - 20, 2002. M. V. Hermenegildo ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2477)
ISBN 978-3-540-45789-3
Lizenzpflichtig
Quelle: DNB
Static analysis
: 8th international symposium ; proceedings / SAS 2001, Paris, France, July 16 - 18, 2001. P. Cousot (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2126)
ISBN 978-3-540-47764-8
Lizenzpflichtig
Quelle: DNB
Static analysis
: 12th international symposium ; proceedings / SAS 2005, London, UK, September 7 - 9, 2005. Chris Hankin ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3672)
ISBN 978-3-540-31971-9
Lizenzpflichtig
Quelle: DNB
Static analysis
: 10th international symposium ; proceedings / SAS 2003, San Diego, CA, USA, June 11 - 13, 2003. Radhia Cousot (ed.). - Berlin : Springer***5108985, 2003. - XIV, 505 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2694)
ISBN 978-3-540-40325-8 / 3-540-40325-6 kart. : EUR 66.34
Literaturangaben
Quelle: DNB
Transformation based reactive systems development
: proceedings / 4th International AMAST Workshop on Real Time Systems and Concurrent and Distributed Software, ARTS '97, Palma, Mallorca, Spain, May 21 - 23, 1997 / Miquel Bertran ; Teodor Rus (ed.). - Berlin : Springer, 1997. - XI, 429 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1231)
ISBN 978-3-540-63010-4 / 3-540-63010-4 kart. : DM 90.00
Literaturangaben
Quelle: DNB
Types in compilation
: second international workshop ; proceedings / TIC '98, Kyoto, Japan, March 1998. Xavier Leroy ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1473)
ISBN 978-3-540-68308-7
Lizenzpflichtig
Quelle: DNB
