Recherche : texts in theoretical computer - Decitre

Decision Procedures

Decision Procedures. An Algorithmic Point of View
2nd edition

Daniel Kroening, Ofer Strichman

Grand Format

80,24 €

Image Placeholder

Structural Complexity 1

Joaquim Gabarro, José-Luis Balcazar, Josep Diaz

33,39 €