Kategooriad
Eesti
Raamatupoed
Outlet
Sündmused
Sisene
Registreeru
Kategooriad
Raamatud
Audioraamatud
E-raamatud
Mängud
Kool ja kontor
Kingitused
Muusika ja filmid
Tehnika
Allahindlused
Kohaletoimetamine on tasuta!
Unfoldings
Unfoldings
Autor
Keijo Heljanko
,
Javier Esparza
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory.
Toode on otsas
Lisa lemmikutesse
Teavita, kui saadaval
Support