Vertel uw vrienden over dit artikel:
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Lecture Notes in Computer Science Nikolaj Bjorner 2015 edition
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Lecture Notes in Computer Science
Nikolaj Bjorner
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions.
610 pages, 156 black & white illustrations, biography
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 2 juni 2015 |
| ISBN13 | 9783319192482 |
| Uitgevers | Springer International Publishing AG |
| Pagina's | 610 |
| Afmetingen | 155 × 235 × 32 mm · 9,36 kg |
| Taal en grammatica | Frans |
| Uitgever | Bjørner, Nikolaj |
| Uitgever | De Boer, Frank |
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld