Specification and Verification of Declarative Open Interaction Models [electronic resource] : A Logic-Based Approach / by Marco Montali.
By: Montali, Marco.
Contributor(s): SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Business Information Processing, 56.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: digital.ISBN: 9783642145384.Subject(s): 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 ProcessingDDC classification: 005.7 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.