NASA Formal Methods: 5th International Symposium, Nfm 2013, Moffett Field, Ca, Usa, May 14-16, 2013. Proceedings, (Paperback)
(No ratings yet)
Key item features
- NASA Formal Methods: 5th International Symposium, Nfm 2013, Moffett Field, Ca, Usa, May 14-16, 2013. Proceedings, (Paperback)
- Author: Springer
- ISBN: 9783642380877
- Format: Paperback
- Publication Date: 2013-04-17
- Page Count: 486
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateApril, 2013
- Pages486
- SubgenreOperating Systems
Current price is USD$54.99
Price when purchased online
- Free shipping
Free 90-day returns
How do you want your item?
Try 30 days of Free Shipping with Walmart+! Choose plan at checkout.
Columbus, 43215
Arrives by Tue, Apr 28
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
More seller options (3)
Starting from $56.14
Get free delivery, shipping and more*
*Restrictions apply Try Walmart+ now
About this item
Product details
NASA Formal Methods: 5th International Symposium, Nfm 2013, Moffett Field, Ca, Usa, May 14-16, 2013. Proceedings
- NASA Formal Methods: 5th International Symposium, Nfm 2013, Moffett Field, Ca, Usa, May 14-16, 2013. Proceedings, (Paperback)
- Author: Springer
- ISBN: 9783642380877
- Format: Paperback
- Publication Date: 2013-04-17
- Page Count: 486
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
April, 2013
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Lecture Notes in Computer Science: Formal Methods in Computer-Aided Design: First International Conference, Fmcad '96, Palo Alto, Ca, Usa, November 6 - 8, 1996, Proceedings (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science: Formal Methods in Computer-Aided Design: First International Conference, Fmcad '96, Palo Alto, Ca, Usa, November 6 - 8, 1996, Proceedings (Paperback)
NASA Formal Methods: 7th International Symposium, Nfm 2015, Pasadena, Ca, Usa, April 27-29, 2015, Proceedings, (Paperback) $54.99
$5499current price $54.99NASA Formal Methods: 7th International Symposium, Nfm 2015, Pasadena, Ca, Usa, April 27-29, 2015, Proceedings, (Paperback)
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, (Paperback) $54.99
$5499current price $54.99FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, (Paperback)
Formal Aspects of Component Software: 13th International Conference, Facs 2016, Besançon, France, October 19-21, 2016, R, (Paperback) $60.29
$6029current price $60.29Formal Aspects of Component Software: 13th International Conference, Facs 2016, Besançon, France, October 19-21, 2016, R, (Paperback)
Nature, Aim and Methods of Microchemistry: Proceedings of the 8th International Microchemical Symposium Organized by the, (Paperback) $60.29
$6029current price $60.29Nature, Aim and Methods of Microchemistry: Proceedings of the 8th International Microchemical Symposium Organized by the, (Paperback)
Formal Methods and Software Engineering: 15th International Conference on Formal Engineeringmethods, ICFEM 2013, Queenst, (Paperback) $56.14
$5614current price $56.14Formal Methods and Software Engineering: 15th International Conference on Formal Engineeringmethods, ICFEM 2013, Queenst, (Paperback)
Coalgebraic Methods in Computer Science: 14th Ifip Wg 1.3 International Workshop, Cmcs 2018, Colocated with Etaps 2018, , (Paperback) $54.99
$5499current price $54.99Coalgebraic Methods in Computer Science: 14th Ifip Wg 1.3 International Workshop, Cmcs 2018, Colocated with Etaps 2018, , (Paperback)
International Astronomical Union Symposi Astrophysical Applications of Gravitational Lensing: Proceedings of the 173rd Symposium of the International Astronomica, Book 173, (Paperback) $60.00
$6000current price $60.00International Astronomical Union Symposi Astrophysical Applications of Gravitational Lensing: Proceedings of the 173rd Symposium of the International Astronomica, Book 173, (Paperback)
Biomaterials in Otology: Proceedings of the First International Symposium 'Biomaterials in Otology', April 21-23, 1983, , (Paperback) $60.29
$6029current price $60.29Biomaterials in Otology: Proceedings of the First International Symposium 'Biomaterials in Otology', April 21-23, 1983, , (Paperback)
Bioinformatics Research and Applications: 8th International Symposium, Isbra 2012, Dallas, Tx, Usa, May 21-23, 2012. Pro, (Paperback) $54.99
$5499current price $54.99Bioinformatics Research and Applications: 8th International Symposium, Isbra 2012, Dallas, Tx, Usa, May 21-23, 2012. Pro, (Paperback)
Software Engineering and Formal Methods: 12th International Conference, Sefm 2014, Grenoble, France, September 1-5, 2014, (Paperback) $64.19
$6419current price $64.19Software Engineering and Formal Methods: 12th International Conference, Sefm 2014, Grenoble, France, September 1-5, 2014, (Paperback)
Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinor, (Paperback) $54.99
$5499current price $54.99Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinor, (Paperback)
Proceedings International Symposium on Marine Positioning: U.S. Geological Survey Reston, Va 22092 October 14-17,1986, (Paperback) $54.99
$5499current price $54.99Proceedings International Symposium on Marine Positioning: U.S. Geological Survey Reston, Va 22092 October 14-17,1986, (Paperback)
Acoustical Holography: Volume 3 Proceedings of the Third International Symposium on Acoustical Holography, Held at the N, (Paperback) $49.82
$4982current price $49.82Acoustical Holography: Volume 3 Proceedings of the Third International Symposium on Acoustical Holography, Held at the N, (Paperback)
Information Systems Security: 8th International Conference, Iciss 2012, Guwahati, India, December 15-19, 2012, Proceedin, (Paperback) $54.99
$5499current price $54.99Information Systems Security: 8th International Conference, Iciss 2012, Guwahati, India, December 15-19, 2012, Proceedin, (Paperback)
Formal Methods for Open Object-Based Distributed Systems: 7th Ifip Wg 6.1 International Conference, Fmoods 2005, Athens,, (Paperback) $56.14
$5614current price $56.14Formal Methods for Open Object-Based Distributed Systems: 7th Ifip Wg 6.1 International Conference, Fmoods 2005, Athens,, (Paperback)
Neutron Induced Reactions: Proceedings of the 4th International Symposium Smolenice, Czechoslovakia, June 1985, (Paperback) $54.99
$5499current price $54.99Neutron Induced Reactions: Proceedings of the 4th International Symposium Smolenice, Czechoslovakia, June 1985, (Paperback)
Lecture Notes in Computer Science VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherland, Book 552, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherland, Book 552, (Paperback)
Network and System Security: 8th International Conference, Nss 2014, Xi'an, China, October 15-17, 2014. Proceedings, (Paperback) $64.36
$6436current price $64.36Network and System Security: 8th International Conference, Nss 2014, Xi'an, China, October 15-17, 2014. Proceedings, (Paperback)
Coalgebraic Methods in Computer Science: 13th Ifip Wg 1.3 International Workshop, Cmcs 2016, Colocated with Etaps 2016, , (Paperback) $54.99
$5499current price $54.99Coalgebraic Methods in Computer Science: 13th Ifip Wg 1.3 International Workshop, Cmcs 2016, Colocated with Etaps 2016, , (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
