Buy Used and New Ina Schaefer Books

Fundamental Approaches to Software Engineering: 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and ... 9033 (Lecture Notes in Computer Science)

by Alexander Egyed,Ina Schaefer

ISBN 13: 9783662466742

Format: Paperback (380 pages)
Publisher: Springer
Published: 09 Apr 2015

Save for later

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... 8483 (Lecture Notes in Computer Science)

by Marco Bernardo,Ferruccio Damiani,Reiner Haehnle,Einar Broch Johnsen,Ina Schaefer

ISBN 13: 9783319073163

Format: Paperback (352 pages)
Publisher: Springer
Published: 21 May 2014

Save for later

Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, ... 10886 (Lecture Notes in Computer Science)

by Einar Broch Johnsen,Ina Schaefer

ISBN 13: 9783319929699

Format: Paperback (320 pages)
Publisher: Springer
Published: 07 Jul 2018

Save for later

Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations

by Michael Felderer,Wilhelm Hasselbring,Heiko Koziolek,Florian Matthes,Lutz Prechelt,Ralf Reussner,Bernhard Rumpe,Ina Schaefer

ISBN 13: 9783030831301

Format: Paperback (240 pages)
Publisher: Springer
Published: 22 Sep 2021

Save for later

Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

by Peter Müller, Ina Schaefer

ISBN 13: 9783319980461

Format: Hardcover (331 pages)
Publisher: Springer
Published: 25 Oct 2018

Save for later