Languages
Tarlecki, Andrzej.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Foundations of algebraic specification and formal software development
by:
Tarlecki, Andrzej.; SpringerLink (Online service); Sannella, Donald.{me_controlnum}
(Electronic resources)
FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
by:
Fitzgerald, John.; Hayes, Ian J.; Tarlecki, Andrzej.; SpringerLink (Online service); International Symposium of Formal Methods Europe (2005 :)
(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:
Marcinkowski, Jerzy, (1965-); Tarlecki, Andrzej.; SpringerLink (Online service); European Association for Computer Science Logic., Conference (2004 :)
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Management of Computing and Information Systems.
Programming Techniques.
Formal methods (Computer science)
System design- Congresses.
Programming Languages, Compilers, Interpreters.
Software engineering.
Computer software- Development.
Computer logic- Congresses.
Category Theory, Homological Algebra.
Computer science- Mathematics.
Computer software- Development
Computer Science.