Montali, Marco.
Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach / [electronic resource] : by Marco Montali. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Business Information Processing, 56 1865-1348 ; . - Lecture Notes in Business Information Processing, 56 .
9783642145384
10.1007/978-3-642-14538-4 doi
Computer science.
Software engineering.
Logic design.
Information systems.
Management information systems.
Computer Science.
Information Systems Applications (incl.Internet).
Logics and Meanings of Programs.
Software Engineering.
Business Information Systems.
Computer Appl. in Administrative Data Processing.
QA76.76.A65
005.7
Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach / [electronic resource] : by Marco Montali. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Business Information Processing, 56 1865-1348 ; . - Lecture Notes in Business Information Processing, 56 .
9783642145384
10.1007/978-3-642-14538-4 doi
Computer science.
Software engineering.
Logic design.
Information systems.
Management information systems.
Computer Science.
Information Systems Applications (incl.Internet).
Logics and Meanings of Programs.
Software Engineering.
Business Information Systems.
Computer Appl. in Administrative Data Processing.
QA76.76.A65
005.7