Name: Algebraic Approaches to Program Semantics
Price: 1011.95 DKK
Availability: InStock
Author: Michael A. Arbib
ISBN: 9781461293774

Algebraic Approaches to Program Semantics af Michael A. Arbib

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
1.011,95 kr.

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

Forlag:
Springer-Verlag New York Inc.

Indbinding:
Paperback

Sideantal:
353

Udgivet:
17. januar 2014

Udgave:
1986

Størrelse:
158x234x24 mm.

Vægt:
566 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 6. december 2024

Normalpris

BLACK NOVEMBER
1.011,95 kr. + Fragt
~~1.011,95 kr.~~

Medlemspris

961,95 kr.

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

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:

Business og læring > Computer og IT

Algebraic Approaches to Program Semantics - Michael A. Arbib - Bog

Bag om Michael A. Arbib

Beskrivelse af Algebraic Approaches to Program Semantics

Brugerbedømmelser af Algebraic Approaches to Program Semantics

Gør som tusindvis af andre bogelskere