

Rigorous Methods for Software Construction and Analysis
- Alaotsikko
- Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday
- Toimittaja
- Uwe Glasser, Jean-Raymond Abrial
- ISBN
- 9783642114472
- Kieli
- englanti
- Julkaisupäivä
- 10.1.2010
- Kustantaja
- Springer Berlin Heidelberg
- Formaatti
- PDF - Adobe DRM
- Lue e-kirjoja täällä
- Lue e-kirja mobiililaitteella/tabletilla
- Lukulaite
- Tietokone