Košara
roba
(prazno)
Kontakt
Račun
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory.
pročitati sve
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory.
sakriti opis
- Izdavač: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Kod:
- Godina izdavanja: 2008
- Jezik: Engleski jezik
- Uvez: Vezana
- Broj stranica: 172
- Širina pakiranja: 24.1 cm
- Visina pakiranja: 16.6 cm
- Dubina pakiranja: 1.6 cm
- Težina pakiranja: 453 g
Recenzije