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

Wim H. Hesselink

Hinta

zł 264,90

Tilattu etävarastosta

Arvioitu toimitus ma - ke 18. - 27. elo

Asiakkaamme sanovat:

Lisää iMusic-toivelistallesi

Eller

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

240 pages, black & white illustrations

Media	Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä	maanantai 22. elokuuta 2005
ISBN13	9780521018296
Tuottaja	Cambridge University Press
Sivujen määrä	240
Mitta	170 × 245 × 12 mm · 385 g
Kieli	English
Sarjaohjaaja	Abramsky, S.
Sarjaohjaaja	Aczel, P. H.
Sarjaohjaaja	Bakker, J. W. De
Sarjaohjaaja	Gurevich, Y.
Sarjaohjaaja	Tucker, J. V.
Sarjaohjaaja	Van Rijsbergen, C. J.