Specification and verification of declarative open interaction models a logic-based approach /
Montali, Marco.
Specification and verification of declarative open interaction models a logic-based approach / [electronic resource] : by Marco Montali. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010. - xxii, 411 p. : ill., digital ; 24 cm. - Lecture notes in business information processing, 56 1865-1348 ; .
9783642145384 (electronic bk.) 9783642145377 (paper)
Computer logic.
Management information systems.
Declarative programming languages.
Information technology.
Computational intelligence.
Computer Science.
Information Systems Applications (incl.Internet)
Logics and Meanings of Programs.
Software Engineering.
Business Information Systems.
Computer Appl. in Administrative Data Processing.
QA76.9.L63 / M66 2010
005.1015113
Specification and verification of declarative open interaction models a logic-based approach / [electronic resource] : by Marco Montali. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010. - xxii, 411 p. : ill., digital ; 24 cm. - Lecture notes in business information processing, 56 1865-1348 ; .
9783642145384 (electronic bk.) 9783642145377 (paper)
Computer logic.
Management information systems.
Declarative programming languages.
Information technology.
Computational intelligence.
Computer Science.
Information Systems Applications (incl.Internet)
Logics and Meanings of Programs.
Software Engineering.
Business Information Systems.
Computer Appl. in Administrative Data Processing.
QA76.9.L63 / M66 2010
005.1015113