Skip to main content
PBS logo
 
 

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

Information Systems: Correctness and Reusability : Selected Papers from the Is-Core Workshop : Amsterdam 26-30 September 1994
Information Systems Correctness and Reusability Selected Papers from the IsCore Workshop Amsterdam 2630 September 1994
Author: Netherlands) Is-Core Workshop (1994 Amsterdam, R. J. Wieringa, R. B. Feenstra
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 specif...  more »
ISBN-13: 9789810222406
ISBN-10: 9810222408
Pages: 260
Rating:
  ?

0 stars, based on 0 rating
Publisher: World Scientific Pub Co Inc
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres: