Languages
Fiadeiro, Jose Luiz.
Overview
Works: | 0 works in 3 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:
Orejas, Fernando.; SpringerLink (Online service); Fiadeiro, Jose Luiz.; Mosses, Peter.; Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Categories for Software Engineering
by:
SpringerLink (Online service); Fiadeiro, Jose Luiz.
(Electronic resources)
Algebra and Coalgebra in Computer Science = First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Fiadeiro, Jose Luiz.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Categories (Mathematics)
Algebra
Symbolic and Algebraic Manipulation.
Computer software- Development.
Computer software- Development
Abstract data types (Computer science)
Computer science- Mathematics
Mathematics of Computing.
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.