Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 2010, Heraklion Contributor(s): Margaria, Tiziana (Editor), Steffen, Bernhard (Editor) |
|
ISBN: 3642165575 ISBN-13: 9783642165573 Publisher: Springer OUR PRICE: $104.49 Product Type: Paperback - Other Formats Published: October 2010 |
Additional Information |
BISAC Categories: - Computers | Logic Design - Computers | Networking - Hardware - Computers | Software Development & Engineering - General |
Dewey: 005.1 |
LCCN: 2010936699 |
Series: Lecture Notes in Computer Science / Theoretical Computer Sci |
Physical Information: 1.1" H x 6.1" W x 9.2" (2.24 lbs) 708 pages |
Descriptions, Reviews, Etc. |
Publisher Description: Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010. |