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

51,40 €

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

120,30 €

On the Refinement Calculus

Carroll Morgan, Trevor Vickers

51,40 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
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.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus