Languages
Tarlecki, Andrzej.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Algebra and coalgebra in computer science = third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Kurz, Alexander.; Lenisa, Marina.; SpringerLink (Online service); Tarlecki, Andrzej.
(Language materials, printed)
Foundations of algebraic specification and formal software development
by:
Tarlecki, Andrzej.; SpringerLink (Online service); Sannella, Donald.
(Language materials, printed)
Computer science logic = 18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings /
by:
European Association for Computer Science Logic. (2004 :); Marcinkowski, Jerzy, (1965-); Tarlecki, Andrzej.; SpringerLink (Online service)
(Language materials, printed)
FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
by:
Hayes, Ian J.; Tarlecki, Andrzej.; SpringerLink (Online service); Fitzgerald, John.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Software Engineering.
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Algebra
Symbolic and Algebraic Manipulation.
Software engineering.
Discrete Mathematics in Computer Science.
Category Theory, Homological Algebra.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Models and Principles.
Computer science
Mathematical Logic and Foundations.
Computer software
Computation by Abstract Devices.
Management of Computing and Information Systems.
System design
Computer logic