Jump To : Overview | Titles | Subjects

Ahrendt, Wolfgang.

Overview

Works:	1 works in 2 publications in 1 languages

Titles

Deductive software verification - The KeY Book = from theory to practice / by: Ahrendt, Wolfgang.; SpringerLink (Online service) (Language materials, printed)

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]

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]

Integrated Formal Methods = 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings / by: SpringerLink (Online service); Tapia Tarifa, Silvia Lizeth.; Ahrendt, Wolfgang. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Tests and Proofs = 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings / by: SpringerLink (Online service); Ahrendt, Wolfgang.; Wehrheim, Heike. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

The logic of software = a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday / by: Hähnle, Reiner.; SpringerLink (Online service); Ahrendt, Wolfgang. (Language materials, printed)

Subjects

Mathematical logic. Computer organization. Computer engineering. Computer System Implementation. Artificial intelligence. Software engineering. Theory of Computation. Computer Systems Organization and Communication Networks. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Artificial Intelligence (incl. Robotics) Application software. Artificial Intelligence. Computers. Programming Languages, Compilers, Interpreters. Software Engineering. Software Engineering/Programming and Operating Systems. Computer logic. Computer networks . Logic in AI. Information Systems Applications (incl. Internet). Architecture, Computer. Computer Science. Computer simulation. Special purpose computers. Computer Engineering and Networks. Special Purpose and Application-Based Systems. Logic, Symbolic and mathematical. Simulation and Modeling. Computer science. Programming languages (Electronic computers) Programming languages (Electronic computers). Computer software Computer Science Logic and Foundations of Programming.