De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Programs, Recursion and Unbounded Choice

Programs, Recursion and Unbounded Choice

af Wim H. Hesselink

indgår i Cambridge Tracts in Theoretical Computer Science serien

Programs, Recursion and Unbounded Choice af Wim H. Hesselink
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.
  • 2-3 uger.
  • 2. december 2024
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om Wim H. Hesselink

Vis alle bøger af Wim H. Hesselink

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



Andre købte også..
Find lignende bøger
Bogen Programs, Recursion and Unbounded Choice findes i følgende kategorier: