Formal Techniques for Distributed Systems: Joint 14th Ifip Wg 6.1 International Conference, Fmoods 2012 and 32nd Ifip Wg 6.1 International Conference, 2012 Edition Contributor(s): Giese, Holger (Editor), Rosu, Grigore (Editor) |
|
ISBN: 3642307922 ISBN-13: 9783642307928 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: May 2012 |
Additional Information |
BISAC Categories: - Mathematics | Logic - Computers | Compilers - Computers | Programming Languages - General |
Dewey: 004.015 |
Physical Information: 0.7" H x 6.1" W x 9.1" (0.90 lbs) 269 pages |