語系
Beckert, Bernhard.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-電子資源)
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:)
(書目-電子資源)
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.
(書目-電子資源)
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)
(書目-電子資源)
主題
Software Engineering.
Computer software- Quality control
Formal methods (Computer science)
Object-oriented methods (Computer science)
Mathematical Logic and Formal Languages
Automatic theorem proving
Computer Communication Networks.
Software engineering.
System Performance and Evaluation.
Object-oriented programming (Computer science)
Computer science.
Software Engineering
Computer software- Reliability
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer software- Testing
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer software- Verification
Management of Computing and Information Systems.
Artificial Intelligence (incl. Robotics)
Programming Techniques
Computers and Society.