Trevor Vickers | Akateeminen Kirjakauppa

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

ON THE REFINEMENT CALCULUS

Carroll Morgan; Trevor Vickers
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1994)
Pehmeäkantinen kirja

49,60 €

INTERNATIONAL REFINEMENT WORKSHOP AND FORMAL METHODS PACIFIC '98 - PROCEEDINGS OF IRW/FMP '98 29 SEPTEMBER - 2 OCTOBER 1998, CAN

Jim Grundy; Martin Schwenke; Trevor Vickers
Springer Verlag, Singapore (1998)
Pehmeäkantinen kirja

131,40 €

On the Refinement Calculus

Carroll Morgan, Trevor Vickers

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 159 sivua
Asu: Pehmeäkantinen kirja
Painos: 1992
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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus