Information Systems-correctness And Reusability - Selected Papers Form The Is-core Workshop

READABOOK BY ALKEM Verified independent store

→

This volume contains papers on formal system specification. The chapters treat algebraic specification, temporal logic specification, default specifications and deontic logic speci fication. 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.Format: HardcoverNo of Pages: 300Imprint: World ScientificPublication date: 19950601 Show more