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 - Tiziana Margaria - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783662452332 - October 7, 2014
In case cover and title do not match, the title is correct

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

Price
A$ 105.49

Ordered from remote warehouse

Expected delivery Feb 27 - Mar 12
Add to your iMusic wish list

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

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

Show all

More by Tiziana Margaria