Buy Used and New ErikaÁbrahám Books

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday: 9660 (Lecture Notes in Computer Science)

by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen

ISBN 13: 9783319307336

Format: Paperback (440 pages)
Publisher: Springer
Published: 13 Apr 2016

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint ... (Lecture Notes in Computer Science)

by Erika Ábrahám, Klaus Havelund

ISBN 13: 9783642548611

Format: Paperback (672 pages)
Publisher: Springer
Published: 11 Mar 2014

Save for later