Da: preigu, Osnabrück, Germania
EUR 41,35
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II | Armin Biere (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiii | Englisch | 2020 | Springer | EAN 9783030452360 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 41,35
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I | Armin Biere (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxiii | Englisch | 2020 | Springer | EAN 9783030451899 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 46,75
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Hardware and Software: Verification and Testing | 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers | Armin Biere (u. a.) | Taschenbuch | xii | Englisch | 2013 | Springer | EAN 9783642396106 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 50,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Theory and Applications of Satisfiability Testing - SAT 2006 | 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings | Armin Biere (u. a.) | Taschenbuch | xii | Englisch | 2006 | Springer | EAN 9783540372066 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
EUR 45,19
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 236 pages. German language. 9.21x6.14x0.55 inches. In Stock.
Da: preigu, Osnabrück, Germania
EUR 95,15
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Computer Aided Verification | 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings | Armin Biere (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxxiv | Englisch | 2014 | Springer | EAN 9783319088662 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
EUR 29,15
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Digitaltechnik - Eine praxisnahe Einführung | Armin Biere (u. a.) | Taschenbuch | x | Deutsch | 2008 | Springer | EAN 9783540777281 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.