Charles C. Morgan | Akateeminen Kirjakauppa

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

ABSTRACTION, REFINEMENT AND PROOF FOR PROBABILISTIC SYSTEMS

Annabelle McIver; Charles C. Morgan
SPRINGER VERLAG GMBH (2009)
Kovakantinen kirja

65,70 €

BENJAMIN WEST: HIS TIMES AND HIS INFLUENCE

Charles H. Morgan; Margaret C. Toole; Benjamin West
Literary Licensing, LLC (2011)
Kovakantinen kirja

83,30 €

A DIGEST OF THE DECISIONS. OF THE SUPREME COURT SITTING AT COLOMBO

Owen W.C. Morgan; Charles A. Lorenz

16,00 €

Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle McIver, Charles C. Morgan

65,70 €

SPRINGER VERLAG GMBH
Sivumäärä: 404 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2009, 01.02.2009 (lisätietoa)
Kieli: Englanti

Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .

Presents results of a large and integrated body of research in the area of 'quantitative' program logics.

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