Information Systems: Correctness and Re... | WHSmith Books
Information Systems: Correctness and Reusability - Selected Papers from the IS-CORE Workshop

Information Systems: Correctness and Reusability - Selected Papers from the IS-CORE Workshop

By: R.B. Feestra (editor), R.B. Feenstra (editor), Roel J. Wieringa (editor)Hardback

Up to 2 WeeksUsually despatched within 2 weeks

Description

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 drive to bring formal specification techniques one step further towards realistic applications.

Contents

Algebraic specification; temporal specification; active system specification; action reification in object-oriented specifications; defaults in specification; normative specification; system design methods.

Product Details

  • ISBN13: 9789810222406
  • Format: Hardback
  • Number Of Pages: 260
  • ID: 9789810222406
  • ISBN10: 9810222408

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly

Close