Verwandte Artikel zu Programs, Recursion and Unbounded Choice (Cambridge...
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.
Suchergebnisse für Programs, Recursion and Unbounded Choice (Cambridge...
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. Bestandsnummer des Verkäufers 134110
Gebraucht kaufen
EUR 22,88
EUR 13,33 Versand
Versand von Kanada nach USA
Versand von Kanada nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Programs, Recursion and Unbounded Choice
Verlag:
Cambridge University Press, 1992
ISBN 10: 0521404363
ISBN 13: 9780521404365
Gebraucht
Hardcover
Anbieter: Better World Books: West, Reno, NV, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Bestandsnummer des Verkäufers GRP94589443
Gebraucht kaufen
EUR 48,71
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar