Navrhnúť zmenu
- Titul
- FM 2015: Formal Methods
- Podtitul
- 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
- Jazyk
- anglicky
- Autori
- Nikolaj Bjørner
- Vydavateľ
- Springer-Verlag GmbH
- Rok vydania
- 2015
- ISBN10
- 3319192485
- ISBN13
- 9783319192482