Specification and verification of declarative open interaction models : a logic-based approach /

Bibliographic Details

Main Author:	Montali, Marco
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; Heidelberg : Springer-Verlag, [2010]
Series:	Lecture notes in business information processing ; 56.
Subjects:	Computational intelligence. Computer logic. Declarative programming languages. Information technology. Management information systems. Electronic books.
Online Access:	Connect to the full text of this electronic book