Thomas A. Henzinger – författare
Visar alla böcker från författaren Thomas A. Henzinger. Handla med fri frakt och snabb leverans.
15 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 …
Embedded Software
First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings
Av Thomas A. Henzinger, Christoph M. Kirsch
Häftad, 2001
566 kr
Lägg i varukorg
This volume contains the proceedings of EMSOFT 2001, the First International Workshop on Embedded Software. The workshop was organized October 8-10, 2001, at Tahoe City, California. The steering committee of the workshop has the following members: G' erard Berry (Esterel Technologies, France) Paul …
Embedded Software
First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings
Av Christoph M. Kirsch, Thomas A. Henzinger
E-bok, 2003
734 kr
Lägg i varukorg
Hybrid Systems III
Verification and Control
Av Rajeev Alur, Thomas A. Henzinger m. fl.
Häftad, 1996
1126 kr
Lägg i varukorg
This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.A hybrid system consists of digital devices that interact with analog environments. Computer science …
Hybrid Systems: Computation and Control
First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings
Av Thomas A. Henzinger, Shankar Sastry
Häftad, 1998
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control, held in Berkeley, California, USA, in April 1998.The volume presents 27 revised full papers selected from a total of 55 submissions. The papers focus on mathematical …
Computer Science Logic
21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
Av Jacques Duparc, Thomas A. Henzinger
Häftad, 2007
1122 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland. The 36 revised full papers presented together with the abstracts of six invited lectures are organized in …
Computer Science Logic
21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
Av Thomas A. Henzinger, Jacques Duparc
E-bok, 2007
1459 kr
Lägg i varukorg
Formal Modeling and Analysis of Timed Systems
8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings
Av Krishnendu Chatterjee, Thomas A. Henzinger
Häftad, 2010
564 kr
Lägg i varukorg
This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8–10, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria. The modeling andanalysis oftiming …
Formal Modeling and Analysis of Timed Systems
8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings
Av Thomas A. Henzinger, Krishnendu Chatterjee
E-bok, 2010
755 kr
Lägg i varukorg
This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8–10, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria. The modeling andanalysis oftiming …
Mathematical and Engineering Methods in Computer Science
8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Av Antonin Kucera, Thomas A. Henzinger m. fl.
Häftad, 2013
564 kr
Lägg i varukorg
This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012.The 13 thoroughly revised papers were carefully selected out of 31 submissions and are presented together …
Mathematical and Engineering Methods in Computer Science
8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Av David Antos, Tomas Vojnar m. fl.
E-bok, 2013
734 kr
Lägg i varukorg
This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012.The 13 thoroughly revised papers were carefully selected out of 31 submissions and are presented together …
Computational Methods in Systems Biology
11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings
Av Ashutosh Gupta, Thomas A. Henzinger
Häftad, 2013
548 kr
Lägg i varukorg
This book constitutes the proceedings of the 11th International Conference on Computational Methods in Systems Biology, CMSB 2013, held in Klosterneuburg, Austria, in September 2013. The 15 regular papers included in this volume were carefully reviewed and selected from 27 submissions. They deal …
Computational Methods in Systems Biology
11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings
Av Thomas A. Henzinger, Ashutosh Gupta
E-bok, 2013
718 kr
Lägg i varukorg
This book constitutes the proceedings of the 11th International Conference on Computational Methods in Systems Biology, CMSB 2013, held in Klosterneuburg, Austria, in September 2013. The 15 regular papers included in this volume were carefully reviewed and selected from 27 submissions. They deal …
