Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Predicate Calculus and Program Semantics

Predicate Calculus and Program Semantics - Edsger W. Dijkstra - Bog

af Edsger W. Dijkstra, Carel S. Scholten

indgår i Monographs in Computer Science serien

Predicate Calculus and Program Semantics af Edsger W. Dijkstra
Bag om Predicate Calculus and Program Semantics

This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781461279242
  • Indbinding:
  • Paperback
  • Sideantal:
  • 220
  • Udgivet:
  • 26. September 2011
  • Udgave:
  • 11990
  • Størrelse:
  • 234x156x12 mm.
  • Vægt:
  • 371 g.
  • 2-3 uger.
  • 10. Juli 2024

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Edsger W. Dijkstra

Vis alle bøger af Edsger W. Dijkstra

Beskrivelse af Predicate Calculus and Program Semantics

This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications.

Brugerbedømmelser af Predicate Calculus and Program Semantics



Andre købte også..
Find lignende bøger
Bogen Predicate Calculus and Program Semantics 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.