Languages
Fiadeiro, Jose Luiz.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
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); CALCO ((2005 :)
(Language materials, printed)
Recent Trends in Algebraic Development Techniques = 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /
by:
Fiadeiro, Jose Luiz.; Mosses, Peter.; Orejas, Fernando.; SpringerLink (Online service); WADT 2004 ((2004 :)
(Language materials, printed)
Formal aspects of component software = 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers /
by:
Fiadeiro, Jose Luiz.; Liu, Zhiming.; Xue, Jinyun.; SpringerLink (Online service)
(Electronic resources)
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:
WADT (Workshop) (2018 :); Fiadeiro, Jose Luiz.; Tutu, Ionut.; SpringerLink (Online service)
(Electronic resources)
Recent trends in algebraic development techniques = 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers /
by:
WADT '98 ((1998 :); Fiadeiro, Jose Luiz.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Mathematics of Computing.
Component software
Programming Techniques.
Management of Computing and Information Systems.
Computer science- Mathematics
Computer software- Development.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Abstract data types (Computer science)- Congresses.
Algebra- Congresses.
Computer software- Development
Computer Science.
Symbolic and Algebraic Manipulation.
Categories (Mathematics)