Search:

Type:

Format:

Library:

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

E-book

E-book

Specification and Verification of Declarative Open Interaction Models [electronic resource] : A Logic-Based Approach / by Marco Montali.

Montali, Marco. (author.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783642145384
Physical Description: XXII, 411p. 97 illus. online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Search for related items by subject

Subject:

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.

Search for related items by series

Add to basket Print Email Permalink Disable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

► Additional Content

► Shelf Browser

► MARC Record