This book has been read, but is in a clean and very good condition. All pages are intact with no highlighting or writing contained within. The spine remains undamaged with tight binding. Fast dispatch within and from the UK. 100% money back guarantee.

Seller Inventory # ABE-1677160251225

Contact seller

Report this item

Bibliographic Details

Title: Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. . (Lecture Notes in Computer Science, 6991)
Publisher: Springer
Publication Date: 2011
Language: English
ISBN 10: 3642245587
ISBN 13: 9783642245589
Binding: Soft cover
Edition: 1st Edition
Condition: Very Good

About this title

Synopsis

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.

From the Back Cover

"About this title" may belong to another edition of this title.

Store Description

Hi, my name is Philip Wittering and I'm an individual book seller trading under the name of Hard to Find Editions, based in Bristol UK. Being established for more than 14 years I specialise in buying and selling a wide eclectic range of used non-fiction and collectible books to hundreds of delighted customers worldwide. If you can't see what your looking for then please don't hesitate to contact me and I will be delighted to help you with your query.

Visit Seller's Storefront

Seller's business information

PW Home Publishing Ltd
Apartment 3, 24 Victoria Walk, Cotham,, Bristol, BS6 5ST, United Kingdom

Sale & Shipping Terms

Terms of Sale

All of my books are in good or very good used condition. I fully adhere to and embrace Abebooks terms and conditions and if for any reason you are not delighted with your purchase please don’t hesitate to contact me via Abe books where I will endeavour to remedy the issue to your satisfaction.

Returns:

I offer a generous return policy of up to 30 days so please contact me if you request a return.

Shipping Terms

Shipping Policy:

Orders are shipped within 1-2 business days with domestic and international orders handled either by Royal Mail or Evri.

Shipping Costs

Shipping costs are based on book weight and size. If your book is heavy or oversized I will contact you informing of the extra costs that will be required for shipment.

Shipping rates from United Kingdom to U.S.A.

Shipping rates from United Kingdom to U.S.A.
Order quantity	10 to 12 business days	5 to 10 business days
First item	US$ 36.42	US$ 43.54

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.