Ofer Strichman

Beliebte Artikel von Ofer Strichman

Alle Angebote anzeigen

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Kroening, Daniel; Strichman, Ofer

Artikelpreise ab

EUR 22,69

2 Angebote anzeigen

Entdecken Sie auch
Neu, Antiquarisch
Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, ... and Software Engineering, Band 10629)

Artikelpreise ab

EUR 77,10

1 Angebot anzeigen

Entdecken Sie auch
Neu