| Integrated Formal Methods: 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings 2012 Edition Contributor(s): Derrick, John (Editor), Gnesi, Stefania (Editor), Latella, Diego (Editor) |
|
 |
ISBN: 3642307280 ISBN-13: 9783642307287 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: June 2012 |
| Additional Information |
| BISAC Categories: - Mathematics | Logic - Computers | Programming - Algorithms - Computers | Programming Languages - General |
| Dewey: 005.1 |
| Physical Information: 0.9" H x 6.1" W x 9.1" (1.20 lbs) 360 pages |