Jacobs, Bart.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Foundations of software science and computation structures19th 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 /
by:
(1998 :); 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)