Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Herakli, (Paperback)
(No ratings yet)
Key item features
- Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Herakli, (Paperback)
- Author: Springer
- ISBN: 9783642340314
- Format: Paperback
- Publication Date: 2012-09-11
- Page Count: 361
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateSeptember, 2012
- Pages361
- SubgenreMachine Theory
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 (1)
Starting from $60.29
Get free delivery, shipping and more*
*Restrictions apply Try Walmart+ now
About this item
Product details
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
- Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, Isola 2012, Herakli, (Paperback)
- Author: Springer
- ISBN: 9783642340314
- Format: Paperback
- Publication Date: 2012-09-11
- Page Count: 361
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
September, 2012
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 Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2001 Li, Book 2144, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2001 Li, Book 2144, (Paperback)
Lecture Notes in Computer Science Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposi, Book 13702, (Paperback) $79.99
$7999current price $79.99Lecture Notes in Computer Science Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposi, Book 13702, (Paperback)
Verified Software. Theories, Tools, and Experiments: 11th International Conference, Vstte 2019, New York City, Ny, Usa, , (Paperback) $62.87
$6287current price $62.87Verified Software. Theories, Tools, and Experiments: 11th International Conference, Vstte 2019, New York City, Ny, Usa, , (Paperback)
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, Isola, (Paperback) $54.99
$5499current price $54.99Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, Isola, (Paperback)
Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: First International Conference, Fase'98, Held as Part of the Joint Europ, Book 1382, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: First International Conference, Fase'98, Held as Part of the Joint Europ, Book 1382, (Paperback)
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, (Paperback) $54.99
$5499current price $54.99Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, (Paperback)
Microbehavioral Econometric Methods: Theories, Models, and Applications for the Study of Environmental and Natural Resou, (Paperback) $51.66
$5166current price $51.66Microbehavioral Econometric Methods: Theories, Models, and Applications for the Study of Environmental and Natural Resou, (Paperback)
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Lev, (Paperback) $54.99
$5499current price $54.99Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Lev, (Paperback)
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on, (Paperback) $54.99
$5499current price $54.99Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on, (Paperback)
Texturen in Forschung Und PRAXIS / Textures in Research and Practice: Proceedings of the International Symposium Clausth, (Paperback) $54.99
$5499current price $54.99Texturen in Forschung Und PRAXIS / Textures in Research and Practice: Proceedings of the International Symposium Clausth, (Paperback)
Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, Setta 2015, Nanjing, , (Paperback) $60.29
$6029current price $60.29Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, Setta 2015, Nanjing, , (Paperback)
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th Internati, (Paperback) $54.99
$5499current price $54.99Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th Internati, (Paperback)
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Appli, (Paperback) $54.94
$5494current price $54.94Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Appli, (Paperback)
ACM Books Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications, (Paperback) $54.95
$5495current price $54.95ACM Books Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications, (Paperback)
Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, Isola 201, (Paperback) $54.99
$5499current price $54.99Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, Isola 201, (Paperback)
Lecture Notes in Computer Science Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symp, Book 13701, (Paperback) $98.44
$9844current price $98.44Lecture Notes in Computer Science Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symp, Book 13701, (Paperback)
Lecture Notes in Computer Science Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Syst, Book 15220, (Paperback) $84.99
$8499current price $84.99Lecture Notes in Computer Science Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Syst, Book 15220, (Paperback)
Lecture Notes in Computer Science Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th Internation, Book 15221, (Paperback) $76.96
$7696current price $76.96Lecture Notes in Computer Science Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th Internation, Book 15221, (Paperback)
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Sympo, (Paperback) $82.75
$8275current price $82.75Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Sympo, (Paperback)
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communi, (Paperback) $56.14
$5614current price $56.14Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communi, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
Related pages
- Cnc Certification
- Cnc Programming
- Processengineering Technical Manufacturing Industries Trades Books
- Asset Pricing Models
- Lambda Proxy Integration
- Transparent Technology
- Peripherals Books
- NFPA National Electrical Code Books
- Image Processing Books
- Cybernetics Books
- General Hardware Books
- Document Management Books