Algebraic Approaches to Program Semantics - Monographs in Computer Science - Ernest G. Manes - Knjige - Springer-Verlag New York Inc. - 9781461293774 - 17. januarja 2014
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 84,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 28. jul - 5. avg
Prejemajte obvestila o novih izdajah izvajalca Ernest G. Manes

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 17. januarja 2014
ISBN13 9781461293774
Založniki Springer-Verlag New York Inc.
Strani 353
Dimenzije 234 × 158 × 24 mm   ·   521 g
Jezik Angleščina  

Več od istega **izdajatelja**

Ogled vseh Ernest G. Manes ( Na primer Paperback Book )