Library of American University of Madaba
Your cart is empty.
Specification and verification of declarative open interaction models : a logic-based approach /
by Montali, Marco.
, Specification and verification of declarative open interaction models (Online) Authors: SpringerLINK eBooks - English/International Collection. Series: Lecture notes in business information processing ; . 56. 18651348 Published by : Springer, (Berlin :) Physical details: xxii, 411 p. : ill. ; 24 cm. ISBN: 364214537X Subject(s): Computer logic. | Management information systems. | Declarative programming languages. | Computational intelligence. Year: 2010
Tags from this library:
No tags from this library for this title.
| Item type | Location | Call Number | Status | Notes | Date Due |
|---|---|---|---|---|---|
 Book |
AUM Main Library English Collections Hall | 658.4038011 M763 (Browse Shelf) | Available | JBC/2011/9089 |
Includes bibliographical references and index.
pt. 1. Specification -- pt. 2. Static verification -- pt. 3. Run-time and a-posteriori verification -- pt. 4. Conclusion and future work.
Access restricted to BGSU students, faculty and staff.
There are no comments for this item.