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