Programs, Recursion and Unbounded Choice - Cambridge Tracts in Theoretical Computer Science - Wim H. Hesselink - Bücher - Cambridge University Press - 9780521018296 - 22. August 2005
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Programs, Recursion and Unbounded Choice - Cambridge Tracts in Theoretical Computer Science

Wim H. Hesselink

Preis
CA$ 91,99
exkl. MwSt.

Bestellware

Lieferdatum: ca. 30. Mai - 12. Jun

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

Programs, Recursion and Unbounded Choice - Cambridge Tracts in Theoretical Computer Science

A complete account of the predicate transformation calculus semantics of sequential programs.

240 pages, black & white illustrations

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 22. August 2005
ISBN13 9780521018296
Verlag Cambridge University Press
Seitenanzahl 240
Maße 170 × 245 × 12 mm   ·   385 g
Serienredakteur Abramsky, S.
Serienredakteur Aczel, P. H.
Serienredakteur Bakker, J. W. De
Serienredakteur Gurevich, Y.
Serienredakteur Tucker, J. V.
Serienredakteur Van Rijsbergen, C. J.

Alle Titel von Wim H. Hesselink ansehen ( u. a. Taschenbuch und Gebundenes Buch )