Buy Used and New Armin Biere Books

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... (Lecture Notes in Computer Science)

by Armin Biere, Roderick Bloem

ISBN 13: 9783319088662

Format: Paperback (912 pages)
Publisher: Springer
Published: 04 Aug 2014

Save for later

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

by Armin Biere, David Parker

ISBN 13: 9783030452360

Format: Paperback (452 pages)
Publisher: Springer
Published: 18 Apr 2020

Save for later

Tools and Algorithms for the Construction and Analysis of Systems

by Armin Biere, David Parker

ISBN 13: 9781013277184

Format: Paperback (516 pages)
Publisher: Saint Philip Street Press
Published: 09 Oct 2020

Save for later

Tools and Algorithms for the Construction and Analysis of Systems

by Armin Biere, David Parker

ISBN 13: 9781013277214

Format: Hardcover (438 pages)
Publisher: Saint Philip Street Press
Published: 09 Oct 2020

Save for later

Tools and Algorithms for the Construction and Analysis of Systems

by Armin Biere, David Parker

ISBN 13: 9781013277191

Format: Hardcover (516 pages)
Publisher: Saint Philip Street Press
Published: 09 Oct 2020

Save for later