語系
Tarlecki, Andrzej.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
Foundations of algebraic specification and formal software development
by:
Tarlecki, Andrzej.; SpringerLink (Online service); Sannella, Donald.
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
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 :)
(書目-語言資料,印刷品)
主題
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.