

Integrated Formal Methods
- Undertittel
- 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
- Redaktør
- Stephan Merz, Dominique Mery
- ISBN
- 9783642162657
- Språk
- Engelsk
- Utgivelsesdato
- 1.10.2010
- Tilgjengelige elektroniske format
- PDF - Adobe DRM
- Les e-boka her
- E-bokleser i mobil/nettbrett
- Lesebrett
- Datamaskin
