語系
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.
Logics and Meanings of Programs.
Information Systems Applications (incl.Internet)
Computational intelligence.
Management information systems.
Computer Appl. in Administrative Data Processing.
Business Information Systems.