Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
List Price
$109.00
$109.00
Discount
3%off
3%off
You Save
$4.30
$4.30
Item Details
Condition:
New
Seller:
Rating:
(867) 81%
Ships From:
Multiple Locations
Shipping:
Standard
Comments:
Brand New, Perfect
Condition, Please allow
4-14 business days for
delivery. 100% M... [more] Brand New, Perfect
Condition, Please allow
4-14 business days for
delivery. 100% Money Back
Guarantee, Over 1,000,000
customers served. [less]
Condition, Please allow
4-14 business days for
delivery. 100% M... [more] Brand New, Perfect
Condition, Please allow
4-14 business days for
delivery. 100% Money Back
Guarantee, Over 1,000,000
customers served. [less]
Own This Book? Sell It
ISBN-13:
Publisher: Springer Summary: This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK in July 2007. The 32 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 85 submissions. The papers address all aspects of formal methods integration, including of a process of analysis or design application of formal methods to [read more]
9783540732099
ISBN:3540732098
Pub Date: 2007Publisher: Springer Summary: This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK in July 2007. The 32 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 85 submissions. The papers address all aspects of formal methods integration, including of a process of analysis or design application of formal methods to [read more]
THE EXTRA MILE GUARANTEE
- 30-Day No-Hassle Returns
- Fast, Same-Day Customer Service
- The Best Prices on Textbook Rentals
NEED HELP PAYING FOR COLLEGE?
- Find student loan options quickly and easily
- Compare loans to find the best fit for you
- Apply for the loan that meets your needs
Price + Shipping
Condition
Details
Product Details
ISBN-13:
ISBN:
Pub Date: 2007
Publisher: Springer
9783540732099
ISBN:
3540732098
Pub Date: 2007
Publisher: Springer
This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK in July 2007. The 32 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 85 submissions. The papers address all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method, based upon the inclusion of ideas or concepts from others, informal or semi-formal modelling languages, tools, or techniques, and semantic integration or practical application.
Where's My Stuff?
- Track your recent orders.
Shipping & Returns
- See our shipping rates & policies.
- Return an item (here's our Return Policy).
Need Help?
