Foundations of software science and computational structures
: 11th international conference ; proceedings / FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Roberto Amadio (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4962)
ISBN 978-3-540-78499-9
Lizenzpflichtig
Quelle: DNB
Foundations of software science and computational structures
: 10th international conference ; proceedings / FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Helmut Seidl (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4423)
ISBN 978-3-540-71389-0
Lizenzpflichtig
Quelle: DNB
Foundations of software science and computational structures
: 8th international conference ; proceedings / FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005. Vladimiro Sassone (ed.). - Berlin : Springer, 2005. - XIII, 519 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3441)
ISBN 978-3-540-25388-4 / 3-540-25388-2 kart. : EUR 68.48 (freier Pr.), sfr 113.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Foundations of software science and computation structures
: 6th international conference ; proceedings / FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003. Andrew D. Gordon (ed.). - Berlin : Springer, 2003. - XII, 440 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2620)
ISBN 978-3-540-00897-2 / 3-540-00897-7 kart. : EUR 62.06
Literaturangaben
Quelle: DNB
Foundations of software science and computation structures
: 7th international conference ; proceedings / FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Igor Walukiewicz (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2987)
ISBN 978-3-540-24727-2
Lizenzpflichtig
Quelle: DNB
Foundations of software science and computation structures
: 6th international conference ; proceedings / FOSSACS 2003 ... Warsaw, Poland, April 7 - 11, 2003. A. D. Gordon (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2620)
ISBN 978-3-540-36576-1
Lizenzpflichtig
Quelle: DNB
Foundations of software science and computation structures
: 9th international conference ; proceedings / FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - 31, 2006. Luca Aceto ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3921)
ISBN 978-3-540-33046-2
Lizenzpflichtig
Quelle: DNB
Fundamental approaches to software engineering
: third international conference ; proceedings / FASE 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Tom Maibaum (ed.). - Berlin : Springer, 2000. - XIII, 374 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1783)
ISBN 978-3-540-67261-6 / 3-540-67261-3 kart. : DM 90.00
Literaturangaben
Quelle: DNB
Fundamental approaches to software engineering
: third international conference ; proceedings / FASE 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000. T. Maibaum (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1783)
ISBN 978-3-540-46428-0
Lizenzpflichtig
Quelle: DNB
Fundamental approaches to software engineering
: 7th international conference ; proceedings / FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Michel Wermelinger ... (ed.). - Berlin : Springer, 2004. - Online-Ressource - (Lecture notes in computer science; 2984)
ISBN 978-3-540-24721-0
Lizenzpflichtig
Quelle: DNB
