Information Systems-correctness And Reusability - Selected Papers Form The Is-core Workshop
Use attributes for filter ! | |
Google books | books.google.com |
---|---|
Date of Reg. | |
Date of Upd. | |
ID | 2087427 |
About Information Systems-correctness And Reusability - Selected Papers Form The Is-core Workshop
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. . . .