Beckert, Bernhard.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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)
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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)
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
主題
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.