Predicate Transformer Semantics by Ernest G. Manes (English) Paperback Book
70,16 €
By Ernest G. Manes, E.G. Manes. Author E.G. Manes. It also opens the way to the literature in the field. The book's distinction is that the approach relies on only a single program construct (the first-order theory of categories), the others being derived mathematically from four axioms.
Jetzt bei Ebay:
