Algebraic Approaches to Program Semantics - Monographs in Computer Science - Ernest G. Manes - Böcker - Springer-Verlag New York Inc. - 9781461293774 - 17 januari 2014
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 949

Beställningsvara

Förväntad leverans 24 sep - 2 okt
Få avisering om nya utgåvor med Ernest G. Manes

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

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öcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 17 januari 2014
ISBN13 9781461293774
Utgivare Springer-Verlag New York Inc.
Antal sidor 353
Mått 234 × 158 × 24 mm   ·   521 g
Språk Engelska  

Mer från samma **utgivare**

Se alt med Ernest G. Manes