Languages
Fiadeiro, Jose Luiz.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
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.
(Language materials, printed)
Categories for Software Engineering
by:
SpringerLink (Online service); Fiadeiro, Jose Luiz.
(Language materials, printed)
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 :)
(Language materials, printed)
Subjects
Software Engineering.
Formal methods (Computer science)
Categories (Mathematics)
Algebra
Symbolic and Algebraic Manipulation.
Abstract data types (Computer science)
Mathematics of Computing.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Foundations.
Computer science
Mathematical Logic and Formal Languages.
Computer software