語系
Fiadeiro, Jose Luiz.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Recent Trends in Algebraic Development Techniques = 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Orejas, Fernando.; Mosses, Peter.; Fiadeiro, Jose Luiz.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Recent trends in algebraic development techniques = 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Tutu, Ionut.; SpringerLink (Online service); Fiadeiro, Jose Luiz.
(書目-語言資料,印刷品)
Categories for Software Engineering
by:
SpringerLink (Online service); Fiadeiro, Jose Luiz.
(書目-語言資料,印刷品)
Algebra and Coalgebra in Computer Science = First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings /
by:
Fiadeiro, Jose Luiz.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Formal methods (Computer science)
Categories (Mathematics)
Algebra
Symbolic and Algebraic Manipulation.
Mathematics of Computing.
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Foundations.
Computer science
Mathematical Logic and Formal Languages.
Abstract data types (Computer science)
Programming Languages, Compilers, Interpreters.
Computer software