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.
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science
Mathematical Logic and Foundations.
Management of Computing and Information Systems.
System design
Computer logic
Discrete Mathematics in Computer Science.
Category Theory, Homological Algebra.
Programming Languages, Compilers, Interpreters.
Models and Principles.
Computer software
Computation by Abstract Devices.