Programs, Recursion and Unbounded Choice - Cambridge Tracts in Theoretical Computer Science - Wim H. Hesselink - Knjige - Cambridge University Press - 9780521018296 - 22. avgusta 2005
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Wim H. Hesselink
Programs, Recursion and Unbounded Choice - Cambridge Tracts in Theoretical Computer Science

Cena
€ 65,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 17. nov - 1. dec
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Wim H. Hesselink

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

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

240 pages, black & white illustrations

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 22. avgusta 2005
ISBN13 9780521018296
Založniki Cambridge University Press
Strani 240
Dimenzije 170 × 245 × 12 mm   ·   385 g
Jezik Angleščina  
Urednik serije Abramsky, S.
Urednik serije Aczel, P. H.
Urednik serije Bakker, J. W. De
Urednik serije Gurevich, Y.
Urednik serije Tucker, J. V.
Urednik serije Van Rijsbergen, C. J.

Več od istega **izdajatelja**

Ogled vseh Wim H. Hesselink