Ulbrich, Mattias.

概要

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

書目資訊

Deductive Software Verification: Future Perspectives = Reflections on the Occasion of 20 Years of KeY / by: Hähnle, Reiner.; Bubel, Richard.; Beckert, Bernhard.; Ulbrich, Mattias.; SpringerLink (Online service); Ahrendt, Wolfgang. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

Deductive Software Verification – The KeY Book = From Theory to Practice / by: SpringerLink (Online service); Ahrendt, Wolfgang.; Ulbrich, Mattias.; Beckert, Bernhard.; Bubel, Richard.; Schmitt, Peter H.; Hähnle, Reiner. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

主題

Mathematical logic. Software Engineering. Application software. Software Engineering/Programming and Operating Systems. Computer logic. Artificial Intelligence. Artificial intelligence. Software engineering. Information Systems Applications (incl. Internet). Programming languages (Electronic computers). Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. Mathematical Logic and Formal Languages.