30-Day No-Hassle Returns
We guarantee your satisfaction on every purchase or rental with a full refund within 30 days of your purchase date.
Fast, Same-Day Customer Service
If you need help, our friendly, helpful Customer Service team will contact you the same business day.
The Best Prices on Textbook Rentals, Guaranteed
You can shop with confidence with the best rental prices at ValoreBooks.com. If you find a lower priced rental, we will match it.
See the full guarantee details

Integrated Formal Methods 4th International Conference, Ifm 2004, Canterbury, Uk, April 4-7, 2004, Proceedings

by

Boiten, Eerke, Derrick, John, Smith, Graeme

$53.35 $3.95 Shipping
List Price
$95.00
Discount
43%off
You Save
$41.65
Item Details
Condition: Used - Good Seller:
BooksFromCalifornia
Rating: (50) 90% Ships From: Simi Valley, CA Shipping: Standard, Expedited Comments: Ex-Library Copy. Some shelf wear
Marketplace Prices
3 Usedfrom $53.35
1 Newfrom $95.00
Integrated Formal Methods 4th International Conference, Ifm 2004, Canterbury, Uk, April 4-7, 2004, Proceedings, ISBN 9783540213772 Own This Book? Sell It
ISBN-13:

9783540213772

ISBN:

3540213775

Pub Date: 2004
Publisher: Springer Summary: This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004. The 24 revised full papers presented together with 3 invited papers and one invited tutorial chapter were carefully reviewed and selected from 65 submissions. The papers are devoted to automating program analysis, state/event-based verification, formalizing  [read more]
Rent and Win a trip to Spring Break!
THE EXTRA MILE GUARANTEE
  • 30-Day No-Hassle Returns
  • Fast, Same-Day Customer Service
  • The Best Prices on Textbook Rentals
Read More
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
Find Loan
Price + Shipping
Condition
Details
Used
(3 from $53.35) 
$53.35
+ $3.95 shipping
LOW ITEM PRICE
Used
Good
QUANTITY

1 In-Stock
$92.73
+ $3.95 shipping
Used
Like New
QUANTITY

1 In-Stock
$95.00
+ $3.95 shipping
Used
Like New
  • Seller: Super Book Deals
  • Seller Rating: (820) 81%
  • Ships from: Multiple Locations
  • Shipping Methods: Standard
  • Comments: Please allow 4-14 business days for Media Mail delivery. Brand New, Perfect Condition, 100% Money Back Guarantee, Over 1,000,000 customers served
  • Contact seller about this item
QUANTITY

99+ In-Stock
New
(1 from $95.00) 
$95.00
+ $3.95 shipping
New
  • Seller: Super Book Deals
  • Seller Rating: (820) 81%
  • Ships from: Multiple Locations
  • Shipping Methods: Standard
  • Comments: Please allow 4-14 business days for Media Mail delivery. Brand New, Perfect Condition, 100% Money Back Guarantee, Over 1,000,000 customers served
  • Contact seller about this item
QUANTITY

99+ In-Stock
Product Details
ISBN-13:

9783540213772


ISBN:

3540213775


Pub Date: 2004
Publisher: Springer

This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004. The 24 revised full papers presented together with 3 invited papers and one invited tutorial chapter were carefully reviewed and selected from 65 submissions. The papers are devoted to automating program analysis, state/event-based verification, formalizing graphical notions, refinement, object-orientation, hybrid and timed automata, integration frameworks, verifying interactive systems, and testing and assertions.

Where's My Stuff?
Shipping & Returns
Need Help?