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