Refinement Calculus: a Systematic Introduction - Texts in Computer Science - Back, Ralph-johan (Abo Akademi University, Turku, Finland) - Grāmatas - Springer-Verlag New York Inc. - 9780387984179 - 1998. gada 13. aprīlis
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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
€ 128,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 14. - 28. aug.
Saņemiet paziņojumus par jauniem Back, Ralph-johan (Abo Akademi University, Turku, Finland) izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1998. gada 13. aprīlis
ISBN13 9780387984179
Izdevēji Springer-Verlag New York Inc.
Lapas 520
Izmēri 156 × 234 × 27 mm   ·   743 g
Valoda Angļu  

Vairāk no tā paša izdevēja

Skatīt visus Back, Ralph-johan (Abo Akademi University, Turku, Finland) ( piem., Paperback Book )