Bernhard Beckert – författare
Visar alla böcker från författaren Bernhard Beckert. Handla med fri frakt och snabb leverans.
22 produkter
Electronic Voting
4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings
Av Robert Krimmer, Melanie Volkamer m. fl.
Häftad, 2019
657 kr
Lägg i varukorg
This book constitutes the proceedings of the 4th International Conference on Electronic Voting, E-Vote-ID 2019, held in Bregenz, Austria, in October 2019. The 13 revised full papers presented were carefully reviewed and selected from 45 submissions. The conference was organized in tracks on …
Electronic Voting
4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings
Av David Duenas-Cid, Uwe Serdult m. fl.
E-bok, 2019
839 kr
Lägg i varukorg
This book constitutes the proceedings of the 4th International Conference on Electronic Voting, E-Vote-ID 2019, held in Bregenz, Austria, in October 2019. The 13 revised full papers presented were carefully reviewed and selected from 45 submissions. The conference was organized in tracks on …
Electronic Voting
5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings
Av Robert Krimmer, Melanie Volkamer m. fl.
Häftad, 2020
567 kr
Lägg i varukorg
This book constitutes the proceedings of the 5th International Conference on Electronic Voting, E-Vote-ID 2020, held online -due to COVID -19- in Bregenz, Austria, in October 2020. The 14 full papers presented were carefully reviewed and selected from 55 submissions.The conference collected the …
Electronic Voting
5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings
Av Mihkel Solvak, David Duenas-Cid m. fl.
E-bok, 2020
739 kr
Lägg i varukorg
This book constitutes the proceedings of the 5th International Conference on Electronic Voting, E-Vote-ID 2020, held online -due to COVID -19- in Bregenz, Austria, in October 2020. The 14 full papers presented were carefully reviewed and selected from 55 submissions. The conference collected the …
Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
Av Wolfgang Ahrendt, Bernhard Beckert m. fl.
Häftad, 2020
567 kr
Lägg i varukorg
This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by …
Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
Av Mattias Ulbrich, Reiner Hahnle m. fl.
E-bok, 2020
739 kr
Lägg i varukorg
This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification. Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by …
Logic of Software. A Tasting Menu of Formal Methods
Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Av Wolfgang Ahrendt, Bernhard Beckert m. fl.
Häftad, 2022
1128 kr
Lägg i varukorg
This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software …
Logic of Software. A Tasting Menu of Formal Methods
Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Av Einar Broch Johnsen, Richard Bubel m. fl.
E-bok, 2022
1455 kr
Lägg i varukorg
This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software …
Deductive Software Verification – The KeY Book
From Theory to Practice
Av Wolfgang Ahrendt, Bernhard Beckert m. fl.
Häftad, 2016
1352 kr
Lägg i varukorg
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, …
Deductive Software Verification - The KeY Book
From Theory to Practice
Av Mattias Ulbrich, Peter H. Schmitt m. fl.
E-bok, 2016
1798 kr
Lägg i varukorg
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, …
Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
Häftad, 2005
567 kr
Lägg i varukorg
This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX2005)heldSeptember14-17,2005inKoblenz,Germany.Thisc- ference was the fourteenth in a series of internationalmeetings since 1992(listed on …
Automated Reasoning with Analytic Tableaux and Related Methods
International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
E-bok, 2005
755 kr
Lägg i varukorg
Verification of Object-Oriented Software. The KeY Approach
Foreword by K. Rustan M. Leino
Av Bernhard Beckert, Reiner Hähnle m. fl.
Häftad, 2007
1128 kr
Lägg i varukorg
Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just abstractions thereof or core algorithms. The programs we want to verify today are thus longer, including …
Verification of Object-Oriented Software. The KeY Approach
Foreword by K. Rustan M. Leino
Av Peter H. Schmitt, Reiner Hahnle m. fl.
E-bok, 2007
1502 kr
Lägg i varukorg
Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just abstractions thereof or core algorithms. The programs we want to verify today are thus longer, including …
Tests and Proofs
Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
Av Bernhard Beckert, Reiner Hähnle
Häftad, 2008
567 kr
Lägg i varukorg
This volume contains the research papers, invited papers, and abstracts of - torials presented at the Second International Conference on Tests and Proofs (TAP 2008) held April 9–11, 2008 in Prato, Italy. TAP was the second conference devoted to the convergence of proofs and tests. It combines ideas …
Tests and Proofs
Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
Av Reiner Hahnle, Bernhard Beckert
E-bok, 2008
755 kr
Lägg i varukorg
This volume contains the research papers, invited papers, and abstracts of - torials presented at the Second International Conference on Tests and Proofs (TAP 2008) held April 9–11, 2008 in Prato, Italy. TAP was the second conference devoted to the convergence of proofs and tests. It combines ideas …
Formal Verification of Object-Oriented Software
International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Av Bernhard Beckert, Claude Marché
Häftad, 2011
567 kr
Lägg i varukorg
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. The 11 revised full papers presented together with 2 …
Formal Verification of Object-Oriented Software
International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Av Claude Marche, Bernhard Beckert
E-bok, 2011
739 kr
Lägg i varukorg
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. The 11 revised full papers presented together with 2 …
Formal Verification of Object-Oriented Software
International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Av Bernhard Beckert, Ferruccio Damiani m. fl.
Häftad, 2012
523 kr
Lägg i varukorg
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 – organised by COST Action IC0701. The 10 revised full papers presented together with 5 …
Formal Verification of Object-Oriented Software
International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Av Dilian Gurov, Ferruccio Damiani m. fl.
E-bok, 2012
672 kr
Lägg i varukorg
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 – organised by COST Action IC0701. The 10 revised full papers presented together with 5 …
Formal Methods for Components and Objects
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Av Bernhard Beckert, Ferruccio Damiani m. fl.
Häftad, 2013
567 kr
Lägg i varukorg
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the …
Formal Methods for Components and Objects
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Av Marcello M. Bonsangue, Frank S. de Boer m. fl.
E-bok, 2013
734 kr
Lägg i varukorg
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the …
