11 كتب إلكترونية بواسطة Bernhard Beckert
Wolfgang Ahrendt & Bernhard Beckert: Deductive Software Verification – The KeY Book
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 …
PDF
الإنجليزية
DRM
€141.46
Bernhard Beckert: Automated Reasoning with Analytic Tableaux and Related Methods
…
PDF
الإنجليزية
DRM
€57.68
Bernhard Beckert & Reiner Hahnle: Verification of Object-Oriented Software. The KeY Approach
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 abstrac …
PDF
الإنجليزية
DRM
€115.63
Bernhard Beckert & Reiner Hahnle: Tests and Proofs
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, It …
PDF
الإنجليزية
DRM
€57.78
Bernhard Beckert & Claude Marche: Formal Verification of Object-Oriented Software
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, Fo Ve OOS 2010, held in Paris, France, in Ju …
PDF
الإنجليزية
DRM
€57.78
Bernhard Beckert & Ferruccio Damiani: Formal Verification of Object-Oriented Software
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, Fo Ve OOS 2011, held in Turin, Italy, in Oct …
PDF
الإنجليزية
DRM
€51.36
Bernhard Beckert & Frank S. de Boer: Formal Methods for Components and Objects
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 system …
PDF
الإنجليزية
DRM
€57.60
Bernhard Beckert & Veronique Cortier: Electronic Voting
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 ca …
EPUB
الإنجليزية
DRM
€63.72
Wolfgang Ahrendt & Bernhard Beckert: Deductive Software Verification: Future Perspectives
This book presents reflections on the occasion of 20 years on the Ke Y project that focuses on deductive software verification.Since the inception of the Ke Y project two decades ago, the area of ded …
EPUB
الإنجليزية
DRM
€57.35
Bernhard Beckert & David Duenas-Cid: Electronic Voting
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 …
EPUB
الإنجليزية
DRM
€57.59
Wolfgang Ahrendt & Bernhard Beckert: Logic of Software. A Tasting Menu of Formal Methods
This Festschrift, dedicated to Reiner Hahnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.After positions at Karlsruhe Institute of Technology an …
EPUB
الإنجليزية
DRM
€114.92
