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

Wim H. Hesselink

Pris

DKK 529

Bestilles fra fjernlager

Forventes klar til forsendelse 14. - 21. aug.

Vores kunder siger:

Tilføj til din iMusic ønskeseddel

Eller

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

240 pages, black & white illustrations

Medie	Bøger Paperback Bog (Bog med blødt omslag og limet ryg)
Udgivet	22. august 2005
ISBN13	9780521018296
Forlag	Cambridge University Press
Antal sider	240
Mål	170 × 245 × 12 mm · 385 g
Sprog	Engelsk
Serieredaktør	Abramsky, S.
Serieredaktør	Aczel, P. H.
Serieredaktør	Bakker, J. W. De
Serieredaktør	Gurevich, Y.
Serieredaktør	Tucker, J. V.
Serieredaktør	Van Rijsbergen, C. J.