Carroll Morgan (ed.) | Akateeminen Kirjakauppa

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

ON THE REFINEMENT CALCULUS

Tekijä: Carroll Morgan (ed.); Trevor Vickers (ed.)
Kustantaja: Springer (1994)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

MATHEMATICS OF PROGRAM CONSTRUCTION : SECOND INTERNATIONAL CONFERENCE, OXFORD, U.K., JUNE 29 - JULY 3, 1992. PROCEEDINGS

Tekijä: Richard S. Bird (ed.); C.Carroll Morgan (ed.); James C.P. Woodcock (ed.)
Kustantaja: Springer (1993)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

THEORETICAL ASPECTS OF COMPUTING - ICTAC 2009 : 6TH INTERNATIONAL COLLOQUIUM, KUALA LUMPUR, MALAYSIA, AUGUST 16-20, 2009, PROCEE

Tekijä: Martin Leucker (ed.); Charles Carroll Morgan (ed.)
Kustantaja: Springer (2009)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

PROGRAMMING METHODOLOGY

Tekijä: Annabelle Mclver (ed.); Carroll Morgan (ed.)
Kustantaja: Springer (2010)
Saatavuus: Noin 17-20 arkipäivää

EUR 107,50

On the Refinement Calculus

Carroll Morgan (ed.), Trevor Vickers (ed.)

49,60 €

Springer
Sivumäärä: 159 sivua
Asu: Pehmeäkantinen kirja
Painos: 1992
Julkaisuvuosi: 1994, 13.12.1994 (lisätietoa)
Kieli: Englanti

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 17-20 arkipäivässä

Myymäläsaatavuus