Information Systems: Correctness and Reusability : Selected Papers from the Is-Core Workshop : Amsterdam 26-30 September 1994
R 2,249
or 4 x payments of R562.25 with
Availability: Currently in Stock
Delivery: 10-20 working days
Please be aware orders placed now may not arrive in time for Christmas, please check delivery times.
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.