Markedets billigste bøger
Levering: 1 - 2 hverdage

Programs, Recursion and Unbounded Choice

Bag om Programs, Recursion and Unbounded Choice

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

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780521018296
  • Indbinding:
  • Paperback
  • Sideantal:
  • 240
  • Udgivet:
  • 22. August 2005
  • Størrelse:
  • 170x245x12 mm.
  • Vægt:
  • 385 g.
Leveringstid: 2-3 uger
Forventet levering: 2. Juli 2024

Beskrivelse af Programs, Recursion and Unbounded Choice

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

Brugerbedømmelser af Programs, Recursion and Unbounded Choice



Find lignende bøger
Bogen Programs, Recursion and Unbounded Choice findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.