Algebraic Approaches to Program Semantics - Monographs in Computer Science - Ernest G. Manes - Books - Springer-Verlag New York Inc. - 9781461293774 - January 17, 2014
In case cover and title do not match, the title is correct

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

Price
HK$ 736
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 15 - 19

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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 Books     Paperback Book   (Book with soft cover and glued back)
Released January 17, 2014
ISBN13 9781461293774
Publishers Springer-Verlag New York Inc.
Pages 353
Dimensions 234 × 158 × 24 mm   ·   521 g
Language English  

Mere med samme udgiver

See all of Ernest G. Manes ( e.g. Paperback Book )