Morgan P. Robinson | Akateeminen Kirjakauppa

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

ON THE REFINEMENT CALCULUS

Carroll Morgan; K. Robinson; P. Gardiner
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1993)

173,30 €

HENRICO PARISH: IN THE DIOCESE OF VIRGINIA AND THE PARISHES DESCENDED THEREFROM

Morgan P. Robinson
KESSINGER PUB CO (2007)
Pehmeäkantinen kirja

23,20 €

HENRICO PARISH: IN THE DIOCESE OF VIRGINIA AND THE PARISHES DESCENDED THEREFROM

Morgan P. Robinson
KESSINGER PUB CO (2010)
Kovakantinen kirja

66,60 €

HENRICO PARISH - IN THE DIOCESE OF VIRGINIA AND THE PARISHES DESCENDED THEREFROM

Morgan P Robinson
Kessinger Publishing (2010)
Pehmeäkantinen kirja

23,20 €

On the Refinement Calculus

Carroll Morgan, K. Robinson, P. Gardiner

173,30 €

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.

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