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