Sommerudsalg - Op til 60 % rabat
Alle 3 Daniel Kroening-udgivelser på Paperback Bog o...r bog
Kategorier
Andet
Kundeservice
DKK
![Cover for Daniel Kroening · Decision Procedures: An Algorithmic Point of View - Texts in Theoretical Computer Science. An EATCS Series (Hardcover bog) [2nd ed. 2016 edition] (2017)](https://imusic.b-cdn.net/images/item/original/963/9783662504963.jpg?daniel-kroening-2017-decision-procedures-an-algorithmic-point-of-view-texts-in-theoretical-computer-science-an-eatcs-series-hardcover-bog&class=scaled&v=1487103992)
![Cover for Daniel Kroening · Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I - Lecture Notes in Computer Science (Paperback Bog) [1st ed. 2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/898/9783319216898.jpg?daniel-kroening-2015-computer-aided-verification-27th-international-conference-cav-2015-san-francisco-ca-usa-july-18-24-2015-proceedings-part-i-lecture-notes-in-computer-science-paperback-bog&class=scaled&v=1518695961)
![Cover for Daniel Kroening · Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II - Lecture Notes in Computer Science (Paperback Bog) [1st ed. 2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/676/9783319216676.jpg?daniel-kroening-2015-computer-aided-verification-27th-international-conference-cav-2015-san-francisco-ca-usa-july-18-24-2015-proceedings-part-ii-lecture-notes-in-computer-science-paperback-bog&class=scaled&v=1518695961)