
Model Checking Software
- Alaotsikko
- 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
- Toimittaja
- Klaus Havelund, Rupak Majumdar, Jens Palsberg
- Painos
- 2008 ed.
- ISBN
- 9783540851134
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 25.7.2008
- Sivumäärä
- 343