Refinement Calculus: a Systematic Introduction - Texts in Computer Science - Back, Ralph-johan (Abo Akademi University, Turku, Finland) - Knjige - Springer-Verlag New York Inc. - 9780387984179 - 13. aprila 1998
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Back, Ralph-johan (Abo Akademi University, Turku, Finland)
Refinement Calculus: a Systematic Introduction - Texts in Computer Science Softcover Reprint of the Original 1st Ed. 1998 edition

Cena
€ 103,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 9. - 17. nov
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Back, Ralph-johan (Abo Akademi University, Turku, Finland)

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

Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a reasonable background knowledge is assumed from mathematics and CS, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for the first time. There are numerous exercises provided of varying degrees of challenge.

520 pages, 11 black & white illustrations, biography

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 13. aprila 1998
ISBN13 9780387984179
Založniki Springer-Verlag New York Inc.
Strani 520
Dimenzije 156 × 234 × 27 mm   ·   743 g
Jezik Angleščina  

Več od istega **izdajatelja**

Ogled vseh Back, Ralph-johan (Abo Akademi University, Turku, Finland)