☰

Computers & Technology

Computer Science

Systems Analysis & Design

Information Systems: Correctness and Reusability : Selected Papers from the Is-Core Workshop : Amsterdam 26-30 September 1994

R 1,597

or 4 x payments of R399.25 with Payflex

Payflex

Availability: Currently in Stock

Delivery: 10-20 working days

Condition: USED (All books are in used condition)

Condition - Very Good
The item shows wear from consistent use, but it remains in good condition and functions properly. Item may arrive with damaged packaging or be repackaged. It may be marked, have identifying markings on it, or have minor cosmetic damage. It may also be missing some parts/accessories or bundled items.

Information Systems: Correctness and Reusability : Selected Papers from the Is-Core Workshop : Amsterdam 26-30 September 1994

This volume contains papers on formal system specification. The chapters treat algebraic specification, temporal logic specification, default specifications and deontic logic specification. Applications include information systems, distributed systems, and real-time systems. One of the major themes in the book is the motivation to bring formal specification techniques one step further towards realistic applications.
Country USA
Brand World Scientific Publishing Company
Manufacturer World Scientific Pub Co Inc
Binding Hardcover
UnitCount 1
EANs 9789810222406
ReleaseDate 0000-00-00

Customers who purchased this also purchased....

Shipping Container Homes: The Perfect Guide to Building a Shipping Container Home for Sustainable Living, Including Plans, Tips, Cool Ideas, and More!

Shipping Container Homes: The Perfect Guide to Building a Shipping Container Home for Sustainable Living, Including Plans, Tips, Cool Ideas, and More!

The Chinese Repository: Volume 11. From January to December, 1842

The Chinese Repository: Volume 11. From January to December, 1842

Monde primitif, analysé et comparé avec le monde moderne, etc (French Edition)

Monde primitif, analysé et comparé avec le monde moderne, etc (French Edition)

Mohican Point on Lake George

Mohican Point on Lake George

Hungary and Transylvania: V. 1

Hungary and Transylvania: V. 1

The Presbyterian Cook Book (1902 )

The Presbyterian Cook Book (1902 )

Twenty years in the Philippines

Twenty years in the Philippines

Views a-foot: or Europe seen with knapsack and staff

Views a-foot: or Europe seen with knapsack and staff