Information Systems: Correctness and Reusability : Selected

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

Country	USA
Brand	World Scientific Publishing Company
Manufacturer	World Scientific Pub Co Inc
Binding	Hardcover
UnitCount	1
EANs	9789810222406
ReleaseDate	0000-00-00

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