KIRJAUDU
Unfoldings : A Partial-Order Approach to Model Checking
100,90 €
Springer
Sivumäärä: 172 sivua
Asu: Kovakantinen kirja
Painos: 2008 ed.
Julkaisuvuosi: 2008, 27.03.2008 (lisätietoa)
Kieli: Englanti
Tuotesarja: Monographs in Theoretical Computer Science. An EATCS Series
Sivumäärä: 172 sivua
Asu: Kovakantinen kirja
Painos: 2008 ed.
Julkaisuvuosi: 2008, 27.03.2008 (lisätietoa)
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
Arvioimme, että tuote lähetetään meiltä noin 3-4 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 3-4 viikossa
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9783540774259
Aihealue: