Hana Chockler – författare
Visar alla böcker från författaren Hana Chockler. Handla med fri frakt och snabb leverans.
11 produkter
Computer Aided Verification
Av Hana Chockler, Georg Weissenbacher
Inbunden, 2020
1013 kr
Lägg i varukorg
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 …
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 …
Computer Aided Verification
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Av Hana Chockler, Georg Weissenbacher
Häftad, 2018
564 kr
Lägg i varukorg
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were …
Computer Aided Verification
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Av Hana Chockler, Georg Weissenbacher
Häftad, 2018
564 kr
Lägg i varukorg
This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were …
Hardware and Software: Verification and Testing
4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers
Häftad, 2009
564 kr
Lägg i varukorg
These are the conference proceedings of the 4th Haifa Veri?cation Conference, held October 27–30, 2008 in Haifa, Israel. This international conference is a unique venue that brings together leading researchers and practitioners of both formal and dynamic veri?cation, for both hardware and software …
Hardware and Software: Verification and Testing
4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers
E-bok, 2009
739 kr
Lägg i varukorg
These are the conference proceedings of the 4th Haifa Veri?cation Conference, held October 27–30, 2008 in Haifa, Israel. This international conference is a unique venue that brings together leading researchers and practitioners of both formal and dynamic veri?cation, for both hardware and software …
