Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 : Revised Selected Papers
Language: English
Published by Springer, 2006
- Softcover
- Used
Seller: BookOrders, Russell, IA, U.S.A.BookOrders
AbeBooks seller since October 4, 2000
Condition: Used - Fair
US$ 30.00
Quantity: 1 available
Add to basketItem description from seller
Lecture Notes in Computer Science, 4313. Usual ex-library features. The interior is clean and tight. Binding is good. Cover shows slight wear. 196 pages. The book has a light bend from poor storage.
Seller Inventory # 033541
- Title
- Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 : Revised Selected Papers
- Author
- Tiziana Margaria; Bernhard Steffen (editors)
- Publisher
- Springer
- Publication year
- 2006
- Condition
- Fair
- Book Type
- Ex-Library
- Binding
- Soft Cover
- Language
- English
- ISBN 10
- 3540489282
- ISBN 13
- 9783540489283
"Synopsis" may belong to another edition of this title.
Review
From the reviews:
"The practical applications of formal methods are increasing. This book contains the main proceedings of an international symposium on leveraging applications of formal methods (IsoLA). It consists of 12 papers. ... I find the papers highly informative; they exemplify ways to leverage applications of formal methods. I recommend that practitioners explore such applications." (S. V. Nagaraj, ACM Computing Reviews, Vol. 49 (8), August, 2008)
"About the title" may belong to another edition of this title.
Shipping rates within U.S.A.
| Item | 5 to 14 business days | 3 to 6 business days |
|---|---|---|
| First item | US$ 4.00 | US$ 9.50 |
Payment methods
- Check
- Money Order
- Paypal
Specialty
Out of print books, Hard to find booksSeller's business information
BookOrders
IA, U.S.A.
Terms of sale
Money orders, personal checks, or PayPal accepted. Shipping: $5.00 priority, $3.50 media mail
Shipping terms
Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.