Tarlecki, Andrzej.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Foundations of algebraic specification and formal software development
by:
Sannella, Donald.; SpringerLink (Online service); Tarlecki, Andrzej.
(Electronic resources)
Computer science logic18th 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-); SpringerLink (Online service); Tarlecki, Andrzej.
(Electronic resources)
FM 2005: Formal MethodsInternational Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
by:
(1998 :); Fitzgerald, John.; Hayes, Ian J.; SpringerLink (Online service); Tarlecki, Andrzej.
(Electronic resources)
Algebra and coalgebra in computer sciencethird international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings /
by:
(1998 :); Kurz, Alexander.; Lenisa, Marina.; SpringerLink (Online service); Tarlecki, Andrzej.
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Computer software
Management of Computing and Information Systems.
Programming Techniques.
Algebra
Computation by Abstract Devices.
Formal methods (Computer science)
System design
Programming Languages, Compilers, Interpreters.
Computer logic
Software engineering.
Models and Principles.
Category Theory, Homological Algebra.
Computer science
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.