Sell, buy or rent Georg Weissenbacher textbooks

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... II (Lecture Notes in Computer Science, 10982)

by Hana Chockler, Georg Weissenbacher
ISBN-13: 9783319961415
ISBN-10: 3319961411
Edition: 1st ed. 2018
Publication date: 2018
Publisher: Springer
Format: Paperback 565 pages

Computer Aided Verification

by Georg Weissenbacher, Hana Chockler
ISBN-13: 9781013270994
ISBN-10: 1013270991
Publication date: 2020
Publisher: Saint Philip Street Press
Format: Hardcover 710 pages

Computer Aided Verification

by Hana Chockler, Georg Weissenbacher
ISBN-13: 9781013271014
ISBN-10: 1013271017
Publication date: 2020
Publisher: Saint Philip Street Press
Format: Hardcover 554 pages

Digitaltechnik - Eine praxisnahe Einführung (Springer-Lehrbuch) (German Edition)

by Armin Biere, Daniel Kröning, Georg Weissenbacher, Christoph M. Wintersteiger
ISBN-13: 9783540777281
ISBN-10: 3540777288
Edition: 2008
Publisher: Springer
Format: Paperback 240 pages