Language: English
Help
Login
Languages
Jump To : Overview | Titles | Subjects

Beckert, Bernhard.

Overview
Works: 1 works in 2 publications in 1 languages
Titles
Deductive Software Verification: Future Perspectives = Reflections on the Occasion of 20 Years of KeY / by: Ahrendt, Wolfgang.; Beckert, Bernhard.; Ulbrich, Mattias.; Hähnle, Reiner.; Bubel, Richard.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Deductive Software Verification – The KeY Book = From Theory to Practice / by: Ulbrich, Mattias.; Beckert, Bernhard.; Schmitt, Peter H.; Ahrendt, Wolfgang.; SpringerLink (Online service); Bubel, Richard.; Hähnle, Reiner. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Formal verification of object-oriented software = international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers / by: Beckert, Bernhard.; Workshop on the Preservation of Stability under Discretization ((2001 :); Gurov, Dilian.; Damiani, Ferruccio.; SpringerLink (Online service) (Language materials, printed)
Automated Reasoning with Analytic Tableaux and Related Methods : = International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings by: SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Beckert, Bernhard. (Language materials, printed)
The Logic of Software. A Tasting Menu of Formal Methods = Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday / by: Beckert, Bernhard.; Johnsen, Einar Broch.; Ahrendt, Wolfgang.; Bubel, Richard.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Electronic Voting = 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings / by: SpringerLink (Online service); Kulyk, Oksana.; Volkamer, Melanie.; Krimmer, Robert.; Duenas-Cid, David.; Küsters, Ralf.; Beckert, Bernhard.; Solvak, Mihkel. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Electronic Voting = 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings / by: Volkamer, Melanie.; Serdült, Uwe.; SpringerLink (Online service); Beckert, Bernhard.; Cortier, Veronique.; Duenas-Cid, David.; Krimmer, Robert.; Küsters, Ralf. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Formal methods for components and objects = 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / by: Beckert, Bernhard.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service) (Language materials, printed)
Formal verification of object-oriented software = international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers / by: Marche, Claude.; Beckert, Bernhard.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service) (Language materials, printed)
Tests and proofs = second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Beckert, Bernhard.; SpringerLink (Online service); Hahnle, Reiner. (Language materials, printed)
Subjects
Mathematical logic. Formal methods (Computer science) Computer organization. Computer engineering. Computer System Implementation. Mathematical Logic and Formal Languages Artificial intelligence. Computer Communication Networks. Software engineering. Software Engineering Theory of Computation. Programming Techniques. Computer Systems Organization and Communication Networks. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Information Systems Applications (incl.Internet) Artificial Intelligence (incl. Robotics) Application software. Artificial Intelligence. Programming Techniques Data encryption (Computer science). Computer Applications. Computers. Software engineering Programming Languages, Compilers, Interpreters. Software Engineering. Mobile and Network Security. Security Services. Object-oriented methods (Computer science) Software Engineering/Programming and Operating Systems. Computer logic. Computer networks . Operating Systems. Automatic theorem proving System Performance and Evaluation. Object-oriented programming (Computer science) Computer networks Information Systems Applications (incl. Internet). Architecture, Computer. Computer Science. Computer Engineering and Networks. Management of Computing and Information Systems. Computer communication systems. Information Systems and Communication Service. Computers and Society. Cryptology. Computer science. Programming languages (Electronic computers). Computer security. Computer software Computer Science Logic and Foundations of Programming.
 
 
Change password
Login