Image from Amazon.com
Specification and verification of declarative open interaction models [electronic resource] : a logic-based approach / by Marco Montali.
Series: Lecture notes in business information processing ; 56Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.Description: xxii, 411 p. : ill., digital ; 24 cmISBN:- 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
- 005.1015113 22
- QA76.9.L63 M66 2010
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.