Daniel Kroening – författare
Visar alla böcker från författaren Daniel Kroening. Handla med fri frakt och snabb leverans.
18 produkter
Decision Procedures
An Algorithmic Point of View
Av Daniel Kroening, Ofer Strichman
Häftad, 2018
390 kr
Lägg i varukorg
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order …
Decision Procedures
An Algorithmic Point of View
Av Daniel Kroening, Ofer Strichman
Inbunden, 2017
569 kr
Lägg i varukorg
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order …
Validation of Evolving Software
Av Hana Chockler, Daniel Kroening m. fl.
Inbunden, 2015
564 kr
Lägg i varukorg
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as …
Validation of Evolving Software
Av Natasha Sharygina, Leonardo Mariani m. fl.
E-bok, 2015
739 kr
Lägg i varukorg
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as …
Verified Software: Theories, Tools and Experiments
6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Av Dimitra Giannakopoulou, Daniel Kroening
Häftad, 2014
542 kr
Lägg i varukorg
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the …
Verified Software: Theories, Tools and Experiments
6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Av Daniel Kroening, Dimitra Giannakopoulou
E-bok, 2014
672 kr
Lägg i varukorg
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the …
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Av Daniel Kroening, Corina S. Păsăreanu
Häftad, 2015
564 kr
Lägg i varukorg
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed …
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Av Corina S. Pasareanu, Daniel Kroening
E-bok, 2015
755 kr
Lägg i varukorg
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed …
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Av Daniel Kroening, Corina S. Păsăreanu
Häftad, 2015
564 kr
Lägg i varukorg
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed …
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Av Corina S. Pasareanu, Daniel Kroening
E-bok, 2015
755 kr
Lägg i varukorg
The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed …
Validation of Evolving Software
Av Hana Chockler, Daniel Kroening m. fl.
Häftad, 2016
564 kr
Lägg i varukorg
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as …
Decision Procedures
An Algorithmic Point of View
Av Ofer Strichman, Daniel Kroening
E-bok, 2008
923 kr
Lägg i varukorg
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order …
Digitaltechnik - Eine praxisnahe Einführung
Av Armin Biere, Daniel Kröning m. fl.
Häftad, 2008
310 kr
Lägg i varukorg
Dieses Einführungswerk in die Digitaltechnik wurde speziell für Bachelorstudenten entwickelt. Es enthält viele auf den Anfänger zugeschnittene praktische Anwendungen. Folgende Aspekte sind einmalig: Tool-orientierter Ansatz - Verwendung der Hardwarebeschreibungssprache Verilog - Einführung in …
Hardware and Software: Verification and Testing
6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Av Sharon Barner, Ian Harris m. fl.
Häftad, 2011
564 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010.The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 …
Hardware and Software: Verification and Testing
6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Av Orna Raz, Daniel Kroening m. fl.
E-bok, 2011
755 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010.The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 …
Decision Procedures
An Algorithmic Point of View
Av Ofer Strichman, Daniel Kroening
E-bok, 2016
877 kr
Lägg i varukorg
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order …
Decision Procedures
An Algorithmic Point of View
Av Daniel Kroening, Ofer Strichman
Inbunden, 2008
938 kr
Tillfälligt slut
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order …
