Your basket is currently empty
Shop by category
Wishlist
Your wishlist is empty
Local events
Recently viewed products
Feelings of a Faith To Heaven
Format: Paperback book
Format: Paperback book
Multiculturalism and the History of Canadian Diversity
Format: Hardback book
Format: Hardback book
Codes Of Silence
Format: Hardback book
Format: Hardback book
Subscribe
Sign
up and be the first to hear about our specials offers, competitions and
news.
Branded stores
Let us know
We hope you like our new site, we encourage you to let us know what you think.
You are here: Borders
» Second-hand books
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with 3 keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification, internetware and Web-based systems, concurrent, communicating, timing and probabilistic systems, object and component orientation, testing and model checking, tools, fault-tolerance and security, as well as specification and refinement.
20 Used & Rare copies available from £26.24
Displaying results 1 to 20 of 20
- Seller
- Books From California
- Seller location
- Item condition
- Ships from
- USA View shipping times
- £26.24
Ex-Library Copy. Very Clean Copy-Over 500, 000 Internet Orders Filled.
- Seller
- Cody Books Ltd
- Seller location
- Item condition
- Ships from
- USA View shipping times
- £27.33
3540474609 **NEW**Factory sealed. Book is in excellent condition, binding tight, pages crisp & clean. No remainder marks. Shipped with delivery confirmation inside US. Selling books since 1979*p/$WQ1-24.
- Seller
- Cody Books Ltd
- Seller location
- Item condition
- Ships from
- USA View shipping times
- £43.52
3540474609 **NEW**Factory sealed. Book is in excellent condition, binding tight, pages crisp & clean. No remainder marks. Shipped with delivery confirmation inside US. Selling books since 1979*p/$JJ4-91.
- Seller
- Shams
- Seller location
- Item condition
- Ships from
- USA View shipping times
- £62.00
Trade paperback (US). Glued binding. 775 p. Contains: Illustrations. Lecture Notes in Computer Science, 4260.
- Seller
- The Perfect Book Store Ltd
- Seller location
- Item condition
- Ships from
- GBR View shipping times
- £71.28
BRAND NEW and ready for dispatch. Delivery normally within 4/7 days. Our reputation is built on our Speedy Delivery Service and our Customer Service Team.
- Seller
- finebook
- Seller location
- Item condition
- Ships from
- USA View shipping times
- £72.94
(NEW TITLE), pp. xii + 778.
- Seller
- A1Books.com
- Seller location
- Item condition
- Ships from
- USA View shipping times
- £75.37
NO EXPEDITED SHIPPING! May have remainder marks.
- Seller
- Paperbackshop
- Seller location
- Item condition
- Ships from
- USA View shipping times
- £78.43
This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with 3 keynote talks were carefully re...
- Seller
- Books Express USA
- Seller location
- Item condition
- Ships from
- USA View shipping times
- £81.94
PLEASE NOTE: All books are promptly imported from the UK using DHL or Royal Mail international mail WITH TRACKING NUMBER. Print on demand title. D elivery is typically 5-10 working days. Please do not select expedited shipping. Professional and reliable bookseller (est.1987). This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with three keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering....
- Seller
- Paperbackshop
- Seller location
- Item condition
- Ships from
- USA View shipping times
- £84.17
Constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. This book presents 38 revised full papers together with three keynote talks that carefully revi...
- Seller
- The Saint Bookstore
- Seller location
- Item condition
- Ships from
- GBR View shipping times
- £84.55
BRAND NEW FROM THE SAINT BOOKSTORE.
- Seller
- Quartermelon
- Seller location
- Item condition
- Ships from
- GBR View shipping times
- £84.81
This book is printed on demand (allow 1-2 weeks for printing) constitutes the refereed proceedings of the 8th international conference on formal engineering methods, icfem 2006, held in macao, china, in november 2006. this book presents 38 revised full papers together with three keynote talks that carefully reviewed and selected from 108 submissions. 1 (Paperback)
- Seller
- A1Books.com
- Seller location
- Item condition
- Ships from
- USA View shipping times
- £100.30
Brand new book.
- Seller
- ExtremelyReliable
- Seller location
- Item condition
- Ships from
- USA View shipping times
- £103.14
Brand New. Never Used.
- Seller
- Alibris
- Seller location
- Item condition
- Ships from
- USA View shipping times
- £103.84
Trade paperback (US). Glued binding. 775 p. Contains: Illustrations. Lecture Notes in Computer Science, 4260.
- Seller
- ExtremelyReliable
- Seller location
- Item condition
- Ships from
- USA View shipping times
- £114.48
Brand New. Never Used.
Borders UK LtdRegistered office: 120 Charing Cross Road, London WC2H 0JR
VAT No: 6500723719