Algebraic Approaches to Program Semantics - Monographs in Computer Science - Ernest G. Manes - Boeken - Springer-Verlag New York Inc. - 9781461293774 - 17 januari 2014
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 85,49

Besteld in een afgelegen magazijn

Verwachte levering 16 - 24 jul.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

Nog niet beoordeeld

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 17 januari 2014
ISBN13 9781461293774
Uitgevers Springer-Verlag New York Inc.
Pagina's 353
Afmetingen 234 × 158 × 24 mm   ·   521 g
Taal en grammatica Engels  

Mere med samme udgiver

Bekijk alles van Ernest G. Manes ( bijv. Paperback Book )