Andrews, Derek: A theory and practice of program development
/ Derek Andrews. - London : Springer, 1997. - XVII, 405 S. : graph. Darst.; 24 cm - (Formal approaches to computing and information technology)
ISBN 978-3-540-76162-4 / 3-540-76162-4 kart. : DM 68.00
Quelle: DNB
Theory and practice of software development
: proceedings / TAPSOFT '95, 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22 - 26, 1995. Peter D. Mosses ... (ed.). - Berlin : Springer, 1995. - XV, 810 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 915)
ISBN 978-3-540-59293-8 / 3-540-59293-8 kart. : DM 148.00
Literaturangaben
Quelle: DNB
Theory and practice of software development
: proceedings / TAPSOFT '97, 7th International Joint Conference CAAP/FASE Lille, France, April 14 - 18, 1997. Michel Bidoit ; Mac Dauchet (ed.). - Berlin : Springer, 1997. - XVI, 884 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1214)
ISBN 978-3-540-62781-4 / 3-540-62781-2 kart. : DM 162.00
Literaturangaben
Quelle: DNB
Theory and practice of software development
: proceedings / TAPSOFT '93, 4th international joint conference CAAP/FASE, Orsay, France, April 13 - 17, 1993. M.-C. Gaudel ; J.-P. Jouannaud (ed.). - Berlin : Springer, 1993. - XI, 761 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 668)
ISBN 978-3-540-56610-6 / 3-540-56610-4 kart. : DM 142.00
Literaturangaben
Quelle: DNB
Third International Workshop on FPGAs for Software Programmers (FSP 2016)
: August 29, 2016, Lausanne, Switzerland co-located with International Conference on Field Programmable Logic and Applications (FPL) / Christian Hochberger, Andreas Koch, Markus Weinhardt (editors). - Berlin : VDE VERLAG GmbH, 2016. - 1 CD-ROM
ISBN 978-3-8007-4266-0 / 3-8007-4266-7 : EUR 24.00 (DE), EUR 24.30 (AT)
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 14th international conference ; proceedings / TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. C. R. Ramakrishnan ; Jakob Rehof (ed.). - Berlin : Springer, 2008. - XVI, 518 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4963)
ISBN 978-3-540-78799-0 kart. : EUR 68.48 (freier Pr.), sfr 111.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Tools and algorithms for the construction and analysis of systems
: 4th international conference ; proceedings / TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998. Bernhard Steffen (ed.). - Berlin : Springer, 1998. - XIII, 455 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1384)
ISBN 978-3-540-64356-2 / 3-540-64356-7 kart. : DM 98.00
Literaturangaben
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 6th international conference ; proceedings / TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Susanne Graf ; Michael Schwartzbach (ed.). - Berlin : Springer, 2000. - XIV, 552 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1785)
ISBN 978-3-540-67282-1 / 3-540-67282-6 kart. : DM 122.00
Literaturangaben
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 6th international conference ; proceedings / TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000. S. Graf ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1785)
ISBN 978-3-540-46419-8
Lizenzpflichtig
Quelle: DNB
Tools and algorithms for the construction and analysis of systems
: 4th international conference ; proceedings / TACAS '98 ..., Lisbon, Portugal, March 28 - April 4, 1998. B. Steffen (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1384)
ISBN 978-3-540-69753-4
Lizenzpflichtig
Quelle: DNB
