Programs, Recursion and Unbounded Choice (Cambridge Tracts in Theoretical Computer Science) - Hardcover
Buch 10 von 40: Cambridge Tracts in Theoretical Computer Science
Inhaltsangabe
A complete account of the predicate transformation calculus semantics of sequential programs.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Programs, Recursion and Unbounded Choice (Cambridge...
Beispielbild für diese ISBN
Programs, Recursion and Unbounded Choice
Verlag:
Cambridge University Press, 1992
ISBN 10: 0521404363
ISBN 13: 9780521404365
Gebraucht
Hardcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations. Artikel-Nr. E-595-655
Gebraucht kaufen
EUR 5,84
EUR 16,50 Versand
Versand von Frankreich nach USA
Versand von Frankreich nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Programs, Recursion and Unbounded Choice: Predicate-Transformation Semantics and Transformation Rules
Verlag:
Cambridge University Press, 1992
ISBN 10: 0521404363
ISBN 13: 9780521404365
Gebraucht
Hardcover
Anbieter: Attic Books (ABAC, ILAB), London, ON, Kanada
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very good +. Cambridge Tracts in Theoretical Computer Science 27.ix, 223 cm. 26 cm. Signature and ink stamp on first leaf. Artikel-Nr. 134110
Gebraucht kaufen
EUR 21,94
EUR 12,78 Versand
Versand von Kanada nach USA
Versand von Kanada nach USA
Anzahl: 1 verfügbar