SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Abstraction, Refinement and Proof for Probabilistic Systems
129,90 €
Springer
Sivumäärä: 388 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2010, 19.11.2010 (lisätietoa)
Kieli: Englanti
Tuotesarja: Monographs in Computer Science
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.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Abstraction, Refinement and Proof for Probabilistic Systemszoom
Näytä kaikki tuotetiedot
ISBN:
9781441923127
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste