Tools and Algorithms for the Construction and Analysis of Systems

Häftad, Engelska, 2020

Av Armin Biere, David Parker

949 kr

Beställningsvara. Skickas inom 3-6 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (3)

Häftad

1 029 kr

Skickas inom 3-6 vardagar
Inbunden

1 099 kr

Skickas inom 5-8 vardagar
Inbunden

1 029 kr

Skickas inom 5-8 vardagar

Produktinformation

  • Utgivningsdatum2020-10-09
  • Mått216 x 279 x 23 mm
  • Vikt1 007 g
  • FormatHäftad
  • SpråkEngelska
  • Antal sidor438
  • FörlagSaint Philip Street Press
  • ISBN9781013277207

Mer från samma författare

Handbook of Satisfiability

Handbook of Satisfiability

Armin Biere, Hans van Maaren, Toby Walsh

2 729 kr

Handbook of Satisfiability

Handbook of Satisfiability

Armin Biere, Hans van Maaren, Toby Walsh, Hans van Maaren

4 769 kr

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Armin Biere, David Parker

589 kr

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Armin Biere, David Parker

589 kr

Computer Aided Verification

Computer Aided Verification

Armin Biere, Roderick Bloem

1 459 kr

Theory and Applications of Satisfiability Testing - SAT 2006

Theory and Applications of Satisfiability Testing - SAT 2006

Armin Biere, Carla P. Gomes

719 kr

Digitaltechnik - Eine praxisnahe Einführung

Digitaltechnik - Eine praxisnahe Einführung

Armin Biere, Daniel Kröning, Georg Weissenbacher, Christoph M. Wintersteiger, Armin Biere, Daniel Kröning

409 kr

Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

Armin Biere, Amir Nahir, Tanja Vos

679 kr

Du kanske också är intresserad av

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Armin Biere, David Parker

1 029 kr

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Armin Biere, David Parker

1 029 kr

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Armin Biere, David Parker

1 099 kr

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Armin Biere, David Parker

589 kr

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Armin Biere, David Parker

589 kr

Den yttersta hemligheten
  • Nyhet
Del 6

Den yttersta hemligheten

Dan Brown

329 kr

Theory and Applications of Satisfiability Testing - SAT 2006

Theory and Applications of Satisfiability Testing - SAT 2006

Armin Biere, Carla P. Gomes

719 kr

Computer Aided Verification

Computer Aided Verification

Armin Biere, Roderick Bloem

1 459 kr

Harry Potter och de vises sten
Del 1

Harry Potter och de vises sten

J.K. Rowling

439 kr

Digitaltechnik - Eine praxisnahe Einführung

Digitaltechnik - Eine praxisnahe Einführung

Armin Biere, Daniel Kröning, Georg Weissenbacher, Christoph M. Wintersteiger, Armin Biere, Daniel Kröning

409 kr

Tillhör följande kategorier