Overview

This book contains papers on the theoretical and formal aspects of information systems. The fifteen papers address two main problems in the area: consolidation of the underlying concepts and identification of suitable formal tools for information system development. Several new modeling abstraction mechanisms and languages are presented and discussed, as well as logical formalisms for correctness analysis of specifications.

ISBN-13

9780444877062

ISBN-10

0444877061

List Price

$73.50

Format

Hardcover

Pages

236 pages

Publisher

Elsevier Science Publishers B. V.

Published On

1985-05-01



View All Offers

Sort by:

Condition
Seller
Seller Comments
Price

Bookstores.com relies on cookies to improve your experience.