

Formal Techniques for Computer Systems and Business Processes
- Alaotsikko
- European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
- Toimittaja
- Mario Bravetti, Leila Kloul, Gianluigi Zavattaro
- ISBN
- 9783540319030
- Kieli
- englanti
- Julkaisupäivä
- 15.11.2005
- Kustantaja
- Springer Berlin Heidelberg
- Formaatti
- PDF - Adobe DRM
- Lue e-kirjoja täällä
- Lue e-kirja mobiililaitteella/tabletilla
- Lukulaite
- Tietokone