Helmut Veith – författare
Visar alla böcker från författaren Helmut Veith. Handla med fri frakt och snabb leverans.
12 produkter
Handbook of Model Checking
Av Edmund M. Clarke Jr., Thomas A. Henzinger m. fl.
2020
1848 kr
Lägg i varukorg
Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for …
Handbook of Model Checking
Av Edmund M. Clarke Jr., Thomas A. Henzinger m. fl.
Inbunden, 2018
1567 kr
Lägg i varukorg
Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for …
Handbook of Model Checking
Av Roderick Bloem, Helmut Veith m. fl.
E-bok, 2018
1894 kr
Lägg i varukorg
Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for …
25 Years of Model Checking
History, Achievements, Perspectives
Av Orna Grumberg, Helmut Veith
Häftad, 2008
397 kr
Lägg i varukorg
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to …
25 Years of Model Checking
History, Achievements, Perspectives
Av Helmut Veith, Orna Grumberg
E-bok, 2008
504 kr
Lägg i varukorg
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to …
Logic for Programming, Artificial Intelligence, and Reasoning
15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
Av Iliano Cervesato, Helmut Veith m. fl.
Häftad, 2008
1122 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. The 45 revised full papers presented together with 3 invited talks were …
Logic for Programming, Artificial Intelligence, and Reasoning
15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
Av Andrei Voronkov, Helmut Veith m. fl.
E-bok, 2008
1502 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. The 45 revised full papers presented together with 3 invited talks were …
Computer Science Logic
24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings
Häftad, 2010
564 kr
Lägg i varukorg
The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2010, was held in Brno (Czech Republic), August 23-27, 2010. The conference started as a series of international workshops on Computer S- ence Logic, and then at its sixth meeting became the Annual Conference …
Computer Science Logic
24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings
E-bok, 2010
755 kr
Lägg i varukorg
Computer Aided Verification
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
Av Natasha Sharygina, Helmut Veith
Häftad, 2013
1122 kr
Lägg i varukorg
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in …
Computer Aided Verification
25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
Av Helmut Veith, Natasha Sharygina
E-bok, 2013
1455 kr
Lägg i varukorg
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in …
