Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 39 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
KIRJAUDU
Abstraction, Refinement and Proof for Probabilistic Systems
134,00 €
Springer
Sivumäärä: 388 sivua
Asu: Pehmeäkantinen kirja
Painos: Softcover reprint of
Julkaisuvuosi: 2010, 19.11.2010 (lisätietoa)
Kieli: Englanti
Tuotesarja: Monographs in Computer Science
Sivumäärä: 388 sivua
Asu: Pehmeäkantinen kirja
Painos: Softcover reprint of
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.
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Tilaustuote
Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Näytä kaikki tuotetiedot
ISBN:
9781441923127
Aihealue: