語系
Montali, Marco.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Specification and verification of declarative open interaction models = a logic-based approach /
by:
Montali, Marco.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Information technology.
Computer logic.
Computer Science.
Declarative programming languages.
Information Systems Applications (incl.Internet)
Logics and Meanings of Programs.
Computational intelligence.
Computer Appl. in Administrative Data Processing.
Management information systems.
Business Information Systems.