Languages
Montali, Marco.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Specification and verification of declarative open interaction models = a logic-based approach /
by:
Montali, Marco.; SpringerLink (Online service)
(Electronic resources)
Subjects
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.