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

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

Roel J Wieringa

Format: Print Book

ISBN: 9789810222406

Tax included.
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.

Format: Hardcover
No of Pages: 300
Imprint: World Scientific
Publication date: 19950601





We Also Recommend

Blockchain And Smart Contracts: Design Thinking And Programming For Fintech

Blockchain And Smart Contracts: Design Thinking And Programming For Fintech

Save Rp 163.204,12
Patent Portfolio Deployment: Bridging The R&d, Patent And Product Markets

Patent Portfolio Deployment: Bridging The R&d, Patent And Product Markets

Save Rp 609.419,60
"Gina Says": Adventures In The Blogosphere String War

"Gina Says": Adventures In The Blogosphere String War
"Golden" Non-euclidean Geometry, The: Hilbert's Fourth Problem, "Golden" Dynamical Systems, And The Fine-structure Constant

"Golden" Non-euclidean Geometry, The: Hilbert's Fourth Problem, "Golden" Dynamical Systems, And The Fine-structure Constant
"I Am The Smartest Man I Know": A Nobel Laureate's Difficult Journey

"I Am The Smartest Man I Know": A Nobel Laureate's Difficult Journey