KIRJAUDU
Abstraction Refinement for Large Scale Model Checking
100,90 €
Springer
Sivumäärä: 179 sivua
Asu: Kovakantinen kirja
Painos: 2006 ed.
Julkaisuvuosi: 2006, 20.07.2006 (lisätietoa)
Kieli: Englanti
Tuotesarja: Integrated Circuits and Systems
Sivumäärä: 179 sivua
Asu: Kovakantinen kirja
Painos: 2006 ed.
Julkaisuvuosi: 2006, 20.07.2006 (lisätietoa)
Kieli: Englanti
Tuotesarja: Integrated Circuits and Systems
Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system.
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:
9780387341552
Aihealue: