語系
Danvy, Olivier.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal modeling = actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
by:
Danvy, Olivier.; Agha, Gul.; SpringerLink (Online service); Meseguer, Jose.
(書目-語言資料,印刷品)
Automatic Program Development = A Tribute to Robert Paige /
by:
SpringerLink (Online service); Danvy, Olivier.
(書目-語言資料,印刷品)
主題
Software Engineering.
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Computer Communication Networks.
Programming (Mathematics)
Computer algorithms.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software