MayDay Sale → Spara upp till 60%
Alla 4s utgivelser på Daniel Kroening
Kategorier
Annan
Kundservice
SEK
![Cover for Daniel Kroening · Decision Procedures: An Algorithmic Point of View - Texts in Theoretical Computer Science. An EATCS Series (Pocketbok) [Softcover reprint of the original 2nd ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/654/9783662570654.jpg?daniel-kroening-2018-decision-procedures-an-algorithmic-point-of-view-texts-in-theoretical-computer-science-an-eatcs-series-pocketbok&class=scaled&v=1608800925)
![Cover for Daniel Kroening · Decision Procedures: An Algorithmic Point of View - Texts in Theoretical Computer Science. An EATCS Series (Inbunden Bok) [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-inbunden-bok&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 (Pocketbok) [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-pocketbok&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 (Pocketbok) [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-pocketbok&class=scaled&v=1518695961)