TY  - BOOK
AU  - Montali,Marco
ED  - SpringerLink (Online service)
TI  - Specification and verification of declarative open interaction models: a logic-based approach 
SN  - 9783642145384 (electronic bk.)
AV  - QA76.9.L63 M66 2010
U1  - 005.1015113 22
PY  - 2010///
CY  - Berlin, Heidelberg
PB  - Springer-Verlag Berlin Heidelberg
KW  - Computer logic
KW  - Management information systems
KW  - Declarative programming languages
KW  - Information technology
KW  - Computational intelligence
KW  - Computer Science
KW  - Information Systems Applications (incl.Internet)
KW  - Logics and Meanings of Programs
KW  - Software Engineering
KW  - Business Information Systems
KW  - Computer Appl. in Administrative Data Processing
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-642-14538-4
ER  -