Buy Used and New KlausHavelund Books

NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings: 9058 (Lecture Notes in Computer Science)

by Klaus Havelund, Gerard Holzmann, Rajeev Joshi

ISBN 13: 9783319175232

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

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