Udvidet returret til d. 31. januar 2025

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.
  • BLACK WEEK
Leveringstid: 2-3 uger
Forventet levering: 14. december 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.