Tell your friends about this item:
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I - Theoretical Computer Science and General 2014 edition
Tiziana Margaria
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I - Theoretical Computer Science and General 2014 edition
Tiziana Margaria
The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014.
547 pages, 139 black & white illustrations, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | October 7, 2014 |
ISBN13 | 9783662452332 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Genre | Aspects (Academic) > Science / Technology Aspects |
Pages | 547 |
Dimensions | 155 × 235 × 29 mm · 784 g |
Editor | Margaria, Tiziana |
Editor | Steffen, Bernhard |