Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach

• Κύριος συγγραφέας: Montali, Marco
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
• Σειρά: Lecture Notes in Business Information Processing 56
• Θέματα: 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