
Integrated Formal Methods
- Undertitel
- 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
- Redaktör
- Elvira Albert, Emil Sekerinski
- Upplaga
- 2014 ed.
- ISBN
- 9783319101804
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2014-09-15
- Sidor
- 390
