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