Languages
Beckert, Bernhard.
Overview
| Works: | 1 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Tests and proofs = second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings /
by:
SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Hahnle, Reiner.; Beckert, Bernhard.
(Electronic resources)
Automated Reasoning with Analytic Tableaux and Related Methods : = International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
by:
Beckert, Bernhard.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Formal verification of object-oriented software = international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers /
by:
SpringerLink (Online service); Damiani, Ferruccio.; Gurov, Dilian.; Congress on Progress and Controversies in Oncological Urology (2000:); Beckert, Bernhard.
(Electronic resources)
Formal verification of object-oriented software = international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers /
by:
Beckert, Bernhard.; Marche, Claude.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Computer software- Quality control
Formal methods (Computer science)
Object-oriented methods (Computer science)
Mathematical Logic and Formal Languages
Computer Communication Networks.
Automatic theorem proving
System Performance and Evaluation.
Software engineering.
Object-oriented programming (Computer science)
Computer science.
Software Engineering
Computer software- Reliability
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer software- Testing
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software- Verification
Management of Computing and Information Systems.
Artificial Intelligence (incl. Robotics)
Computers and Society.
Programming Techniques