
Runtime Verification
- Alaotsikko
- Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers
- Toimittaja
- Koushik Sen, Sarfaz Khurshid
- Painos
- 2012 ed.
- ISBN
- 9783642298592
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 11.5.2012
- Sivumäärä
- 458