Programming language implementation and logic programming
: 6th international symposium ; proceedings / PLILP '94, Madrid, Spain, September 14 - 16, 1994. Manuel Hermenegildo ; Jan Penjam (ed.). - Berlin : Springer, 1994. - XII, 468 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 844)
ISBN 978-3-540-58402-5 / 3-540-58402-1 kart. : DM 86.00
Literaturangaben
Quelle: DNB
Programming languages: implementations, logics and programs
: 7th international symposium ; proceedings / PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ; S. Doaitse Swierstra (ed.). - Berlin : Springer, 1995. - XI, 466 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 982)
ISBN 978-3-540-60359-7 / 3-540-60359-X kart. : DM 94.00
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
