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. Algebraic Approaches to Program Semantics

Algebraic Approaches to Program Semantics

af Michael A. Arbib, Ernest G. Manes

indgår i Monographs in Computer Science serien

Algebraic Approaches to Program Semantics af Michael A. Arbib
Bag om Algebraic Approaches to Program Semantics

An important approach to semantics, pioneered by Floyd, Hoare, and Wirth, is called assertion semantics: given a specification of which assertions (preconditions) on input data should guarantee that the results satisfy desired assertions (postconditions) on output data, one seeks a logical proof that the program satisfies its specification.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781461293774
  • Indbinding:
  • Paperback
  • Sideantal:
  • 353
  • Udgivet:
  • 17. januar 2014
  • Udgave:
  • 1986
  • Størrelse:
  • 158x234x24 mm.
  • Vægt:
  • 566 g.
  • 8-11 hverdage.
  • 22. november 2024

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 Michael A. Arbib

Vis alle bøger af Michael A. Arbib

Beskrivelse af Algebraic Approaches to Program Semantics

An important approach to semantics, pioneered by Floyd, Hoare, and Wirth, is called assertion semantics: given a specification of which assertions (preconditions) on input data should guarantee that the results satisfy desired assertions (postconditions) on output data, one seeks a logical proof that the program satisfies its specification.

Brugerbedømmelser af Algebraic Approaches to Program Semantics



Andre købte også..
Find lignende bøger
Bogen Algebraic Approaches to Program Semantics findes i følgende kategorier: