語系
Tarlecki, Andrzej.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Foundations of algebraic specification and formal software development
by:
Tarlecki, Andrzej.; SpringerLink (Online service); Sannella, Donald.{me_controlnum}
(書目-電子資源)
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 :)
(書目-語言資料,印刷品)
Computer science logic = 18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings /
by:
Tarlecki, Andrzej.; SpringerLink (Online service); European Association for Computer Science Logic., Conference (2004 :); Marcinkowski, Jerzy, (1965-)
(書目-語言資料,印刷品)
主題
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.