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