

Abstract State Machines, Alloy, B and Z
- Alaotsikko
- Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
- Toimittaja
- Marc Frappier, Uwe Glasser, Sarfraz Khurshid, Regine Laleau, Steve Reeves
- ISBN
- 9783642118111
- Kieli
- englanti
- Julkaisupäivä
- 20.2.2010
- Kustantaja
- Springer Berlin Heidelberg
- Formaatti
- PDF - Adobe DRM
- Lue e-kirjoja täällä
- Lue e-kirja mobiililaitteella/tabletilla
- Lukulaite
- Tietokone