Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 39 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
KIRJAUDU
Unfoldings : A Partial-Order Approach to Model Checking
101,40 €
Springer
Sivumäärä: 172 sivua
Asu: Pehmeäkantinen kirja
Painos: Softcover reprint of
Julkaisuvuosi: 2010, 30.11.2010 (lisätietoa(avautuu ponnahdusikkunassa))
Kieli: Englanti
Tuotesarja: Monographs in Theoretical Computer Science. An EATCS Series
Sivumäärä: 172 sivua
Asu: Pehmeäkantinen kirja
Painos: Softcover reprint of
Julkaisuvuosi: 2010, 30.11.2010 (lisätietoa(avautuu ponnahdusikkunassa))
Kieli: Englanti
Tuotesarja: Monographs in Theoretical Computer Science. An EATCS Series
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory.
Tilaustuote(avautuu ponnahdusikkunassa)
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa. | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 27.11.2025
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa. | 🎄 Tämä tuote ehtii jouluksi, kun teet tilauksen viimeistään 27.11.2025
Näytä kaikki tuotetiedot
ISBN:
9783642096051
Aihealue: