Jacobs, Bart.
概観
| 著作: | 1 作品に 1 出版物中に 1 言語 | |
|---|---|---|
タイトル
Foundations of software science and computation structures[electronic resource] :19th International Conference, FOSSACS 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings /
…で:
Clark Conference ((2005 :); Jacobs, Bart.; Loding, Christof.; SpringerLink (Online service)
(言語・文字資料 (印刷物))
主題
Typentheorie.
Software engineering
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Computer software
Computation by Abstract Devices.
Type theory.
Types, Th�eorie des.
Cat�egories (Math�ematiques)
Programming Languages, Compilers, Interpreters.
Wiskundige logica.
Computer Science.
Categories (Mathematics)