Daniel Kroening - Decision Procedures: An Algorithmic Point Of View (texts In Theoretical Computer Science. An Eatcs Series)
Brand: Daniel Kroening -
EAN:
9783662570654MPN: m03662570653
Kategorie: Bücher & Zeitschriften
Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 2nd ed. 2016, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 380, publicationDate : 2018-07-13, releaseDate : 2018-07-13, authors : Daniel Kroening, ISBN : 3662570653
Preise vergleichen ab:
Daniel Kroening - in Bücher & Zeitschriften