Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Programs, Recursion and Unbounded Choice

Programs, Recursion and Unbounded Choice

av Wim H. Hesselink

del av Cambridge Tracts in Theoretical Computer Science-serien

Programs, Recursion and Unbounded Choice av Wim H. Hesselink
Om Programs, Recursion and Unbounded Choice

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

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780521018296
  • Format:
  • Häftad
  • Sidor:
  • 240
  • Utgiven:
  • 22. augusti 2005
  • Mått:
  • 170x245x12 mm.
  • Vikt:
  • 385 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 10. december 2024

Om Wim H. Hesselink

Se alla böcker av Wim H. Hesselink

Beskrivning av Programs, Recursion and Unbounded Choice

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

Användarnas betyg av Programs, Recursion and Unbounded Choice



Andra köpte även...
Hitta liknande böcker
Boken Programs, Recursion and Unbounded Choice finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.