KIRJAUDU
Abstraction Refinement for Large Scale Model Checking
113,00 €
Springer
Sivumäärä: 179 sivua
Asu: Pehmeäkantinen kirja
Painos: 2006 ed.
Julkaisuvuosi: 2014, 06.12.2014 (lisätietoa)
Kieli: Englanti
Tuotesarja: Integrated Circuits and Systems
Sivumäärä: 179 sivua
Asu: Pehmeäkantinen kirja
Painos: 2006 ed.
Julkaisuvuosi: 2014, 06.12.2014 (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 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.
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9781489993953
Aihealue: