KIRJAUDU
Abstraction, Refinement and Proof for Probabilistic Systems
134,60 €
Springer-Verlag New York Inc.
Sivumäärä: 388 sivua
Asu: Kovakantinen kirja
Painos: 2005 ed.
Julkaisuvuosi: 2004, 19.11.2004 (lisätietoa)
Kieli: Englanti
Tuotesarja: Monographs in Computer Science
Sivumäärä: 388 sivua
Asu: Kovakantinen kirja
Painos: 2005 ed.
Julkaisuvuosi: 2004, 19.11.2004 (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 4-5 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 4-5 viikossa
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9780387401157
Aihealue: