Algebraic Approaches to Program Semantics - Monographs in Computer Science - Ernest G. Manes - Bøker - Springer-Verlag New York Inc. - 9781461293774 - 17. januar 2014
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Ernest G. Manes
Algebraic Approaches to Program Semantics - Monographs in Computer Science 1986 edition

Pris
NOK 909

Bestillingsvarer

Forventes levert 21. - 29. jul
Få varsel om nye utgivelser fra Ernest G. Manes

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

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.

353 pages, biography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 17. januar 2014
ISBN13 9781461293774
Utgivere Springer-Verlag New York Inc.
Antall sider 353
Mål 234 × 158 × 24 mm   ·   521 g
Språk Engelsk  

Mere med samme udgiver

Se alt med Ernest G. Manes ( f.eks. Pocketbok )