SULJE VALIKKO

avaa valikko

Ralph-Johan Back | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?



Refinement Calculus - A Systematic Introduction
Ralph-Johan Back; Joakim Wright
Springer-Verlag New York Inc. (1998)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Transactions on Computational Systems Biology XIII
Ralph-Johan Back; Ion Petre; Erik de Vink
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Teaching Mathematics in the Digital Age with Structured Derivations
Ralph-Johan R. Back
Touchladybirdlucky Studios (2016)
Pehmeäkantinen kirja
80,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Refinement Calculus - A Systematic Introduction
97,90 €
Springer-Verlag New York Inc.
Sivumäärä: 520 sivua
Asu: Pehmeäkantinen kirja
Painos: Softcover reprint of
Julkaisuvuosi: 1998, 13.04.1998 (lisätietoa)
Kieli: Englanti
Tuotesarja: Texts in Computer Science
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.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Refinement Calculus - A Systematic Introduction
Näytä kaikki tuotetiedot
ISBN:
9780387984179
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste