NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings
by G. Weikum, D. Tygar, D. Terzopoulos, M. Sudan, B. Steffen, C. Pandu Rangan, O. Nierstrasz, M. Naor, J.C. Mitchell, F. Mattern, A. Kobsa, J. Kleinberg, J. Kittler, T. Kanade, D. Hutchison
Available
Ships From London
Free Shipping within U.K
International Shipping?
Check Delivery Estimate and
Delivery Charges
for your country
Publisher: | Springer |
Published In: | 27-Mar-2012 |
ISBN-10: | 3642288901 |
ISBN-13: | 9783642288906 |
Binding Type: | Paperback |
Weight: | 768 gms |
Pages: | pp. 480, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss |
The Title "NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings" is written by G. Weikum. This book was published in the year 2012. The ISBN number 3642288901|9783642288906 is assigned to the Paperback version of this title. This book has total of pp. xii + 466 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings is currently Available with us.