Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8
72,82 €
A static analysis of CSP programs. - Algebraic tools for system construction. - PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness. - The intractability of validity in logic programming and dynamic logic.
Jetzt bei Ebay:
![Produktbild - The Emergence of Language [Carnegie Mellon Symposia on Cognition Series]](https://i.ebayimg.com/thumbs/images/g/mwkAAOSwH09ZHOoW/s-l140.jpg)
