SULJE VALIKKO

avaa valikko

On the Refinement Calculus
169,90 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 170 sivua
Julkaisuvuosi: 1993, 01.12.1993 (lisätietoa)
A presentation of the research work accomplished at Oxford University on refinement calculus, which traces its rigorous development, from state-based assertional specifications, of executable imperative code. The attempts to bring together Z specifications and Dijkstra's language are discussed.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen. Seuraa saatavuutta.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
On the Refinement Calculus
Näytä kaikki tuotetiedot
ISBN:
9783540198093
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste