Information Systems: Correctness and Reusability : Selected Papers from the Is-Core Workshop : Amsterdam 26-30 September 1994
Product Description
Condition - Very Good
The item shows wear from consistent use but remains in good condition. It may arrive with damaged packaging or be repackaged.
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.
Technical Specifications
You might also like
Extravagant: Crossings of Modern Poetry And Modern Ph
The Art and Science of Nurse Coaching: The Provider’s Guide to Coaching Scope and Competencies, 2nd Edition
Diamond Select Toys Sin City Select: Nancy Action Figure
Call of Duty 4 - Modern Warfare PC (DVD-ROM)
Understanding Men's Passages: Discovering the New Map of Men's Lives
Por qué leer los clásicos
Gracias Por Ayudarme a Crecer: Regalo Fin De Curso , Cuaderno A5 Perfecto Para Tomar Notas, Escribir Pensamientos, Trabajo, Dia del Maestro (Spanish Edition)
Cuaderno de música Pentagrama Pautado: Tamaño grande A4 |12 pentagramas por página | 100 paginas | (Spanish Edition)