Buy Used and New Marieke Huisman Books

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings: 9681 (Lecture Notes in Computer Science)

by Erika Ábrahám,Marieke Huisman

ISBN 13: 9783319336923

Format: Paperback (552 pages)
Publisher: Springer
Published: 24 May 2016

Save for later

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

by Marieke Huisman, Julia Rubin

ISBN 13: 9783662544938

Format: Paperback (460 pages)
Publisher: Springer
Published: 22 Mar 2017

Save for later

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

by Dirk Beyer, Marieke Huisman

ISBN 13: 9783319899626

Format: Paperback (488 pages)
Publisher: Springer
Published: 14 Apr 2018

Save for later

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

by Dirk Beyer, Marieke Huisman

ISBN 13: 9783319899596

Format: Paperback (452 pages)
Publisher: Springer
Published: 12 Apr 2018

Save for later

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... 11429 (Lecture Notes in Computer Science)

by Dirk Beyer,Marieke Huisman,Fabrice Kordon,Bernhard Steffen

ISBN 13: 9783030175016

Format: Paperback (288 pages)
Publisher: Springer
Published: 04 Apr 2019

Save for later

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... 3362 (Lecture Notes in Computer Science)

by Traian Muntean,Gilles Barthe,Jean-Louis Lanet,Lilian Burdy,Marieke Huisman

ISBN 13: 9783540242871

Format: Paperback (272 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Tools and Algorithms for the Construction and Analysis of Systems

by Bernhard Steffen,Fabrice Kordon,Marieke Huisman

ISBN 13: 9781013271205

Format: Paperback (280 pages)
Publisher: Saint Philip Street Press
Published: 08 Oct 2020

Save for later

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings: 13047 (Lecture Notes in Computer Science, 13047)

by Marieke Huisman,Corina Pasareanu,Naijun Zhan

ISBN 13: 9783030908690

Format: Paperback (817 pages)
Publisher: Springer
Published: 10 Nov 2021

Save for later

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings: 13487 (Lecture Notes in Computer Science, 13487)

by Jan Friso Groote, Marieke Huisman

ISBN 13: 9783031150074

Format: Paperback (255 pages)
Publisher: Springer
Published: 12 Aug 2022

Save for later