AKTUELLE PARTNERANGEBOTE

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

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

2 Angebote · ab 57,24 € gemeldete Gesamtkosten