KIRJAUDU
On the Refinement Calculus
51,10 €
Springer
Sivumäärä: 159 sivua
Asu: Pehmeäkantinen kirja
Painos: Softcover reprint of
Julkaisuvuosi: 1994, 13.12.1994 (lisätietoa)
Kieli: Englanti
Tuotesarja: Formal Approaches to Computing and Information Technology (FACIT)
Sivumäärä: 159 sivua
Asu: Pehmeäkantinen kirja
Painos: Softcover reprint of
Julkaisuvuosi: 1994, 13.12.1994 (lisätietoa)
Kieli: Englanti
Tuotesarja: Formal Approaches to Computing and Information Technology (FACIT)
On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Tilaustuote
Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9783540199311
Aihealue: