World Scientific Publishing Company

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

Free shipping with 3 or more products in your cart
Payflex: Pay in 4 interest-free payments of R386.50. Read the FAQ
R 1,546
In stock
Low stock in USA warehouse Order soon to secure your order
Used, Good Condition
Duties, insurance and VAT included
Delivered in 10–20 working days —
Free shipping with 3 or more products in your cart
Secure checkout
Your payment is fully protected
Duties & VAT included
No surprise charges at the door
Tracked delivery
Track your order end to end
Returns support
30-day return window

Description

Condition - Very Good

The item shows wear from consistent use but remains in good condition. It may arrive with damaged packaging or be repackaged.

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.

Shipping & Delivery

Your order is shipped from the USA and delivered to your door in South Africa in 10–20 working days. All items are fully tracked.

Returns & Exchanges

We offer a 30-day return window. If something isn't right, contact our support team and we'll make it right.