Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science) - Hardcover
Buch 12 von 40: Cambridge Tracts in Theoretical Computer Science
Inhaltsangabe
This book presents a rigorous foundation for defining Boolean categories and will appeal to graduate students and researchers in theoretical computer science.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Predicate Transformer Semantics (Cambridge Tracts in...
Beispielbild für diese ISBN
Predicate Transformer Semantics
Verlag:
Cambridge Univ Pr, West Nyack, New York, U.S.A., 1992
ISBN 10: 0521420369
ISBN 13: 9780521420365
Gebraucht
Hardcover
Anbieter: Benjamin Books, Ottawa, ON, Kanada
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good (+). hardcover. Bestandsnummer des Verkäufers 10677
Gebraucht kaufen
EUR 13,30
EUR 10,33 Versand
Versand von Kanada nach USA
Versand von Kanada nach USA
Anzahl: 1 verfügbar