KIRJAUDU
Abstraction, Refinement and Proof for Probabilistic Systems
64,50 €
SPRINGER VERLAG GMBH
Sivumäärä: 404 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2009, 01.02.2009 (lisätietoa)
Kieli: Englanti
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.
Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen. Seuraa saatavuutta.
Näytä kaikki tuotetiedot
ISBN:
9780387516097
Aihealue:
|
Toimitusehdot |
Asiakaspalvelu |
YHTEYSTIEDOT |
SEURAA MEITÄ
|
 |
Booky.fi | Kotimainen kirjakauppasi netissä
Löydä seuraava lukuelämyksesi meiltä. Valikoimassamme ovat kaikki kotimaiset kirjat sekä noin 25 miljoonaa ulkomaista teosta.
Toimitamme tilaukset maailmanlaajuisesti!
Tietosuojaseloste