跳至 : 概要 | 書目資訊 | 主題

Ahrendt, Wolfgang.

概要

作品:	1 作品在 2 項出版品 1 種語言

書目資訊

Deductive software verification - The KeY Book = from theory to practice / by: Ahrendt, Wolfgang.; SpringerLink (Online service) (書目-語言資料,印刷品)

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]

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]

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. (書目-語言資料,印刷品) , [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. (書目-語言資料,印刷品) , [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. (書目-語言資料,印刷品)

主題

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