語系
Hankin, Chris.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Programming languages and systems7th European Symposium on Programming, ESOP'98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings /
by:
(1998 :); Hankin, Chris.; SpringerLink (Online service)
(書目-電子資源)
Static Analysis12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings /
by:
(1998 :); Hankin, Chris.; Siveroni, Igor.; SpringerLink (Online service)
(書目-電子資源)
Semantics, logics, and calculiessays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays /
by:
Hankin, Chris.; Hansen, Rene Rydhof.; Probst, Christian W.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Calculus.
Programming Techniques.
Information Systems Applications (incl. Internet)
Algorithm Analysis and Problem Complexity.
Computer programming
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Semantic computing.
Computer Science.