Title: Fm 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings: 6664 (Lecture Notes in Computer Science, 6664) [Paperback] [Jun 16, 2011] Butler, Michael and Schulte, Wolfram
Publisher: Springer
Publication Date: 2011
Language: English
ISBN 10: 3642214363
ISBN 13: 9783642214363
Binding: Soft cover
Condition: New

About this title

Synopsis

This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.
The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.

From the Back Cover

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

Store Description

Staines Book aim to offer our customers a variety of the old & latest Books. With the Experience of more than 15 Years, we always keep an eye on the latest trends in Books and put our customers'�wishes first, we try our best to give books to our customers on lowest prices. We ship Books through Fedex Priority. That is why we have satisfied customers all over the world, and are thrilled to be a part of the Books industry. Staines Books Hub also sell books in Bulk, We try our best to Provied High Quality, Fast Service, Global Shipping.

Visit Seller's Storefront

Seller's business information

SIX SENSE STRATEGY LTD
SIX SENSE STRATEGY LTD, Haland House, Office # 9a, 66 York Road, Weybridge, KT13 9DY, United Kingdom

Sale & Shipping Terms

Terms of Sale

StainesBookHub aim to offer our customers a variety of the old & latest Books. With the Experience of more than 15 Years, we always keep an eye on the latest trends in Books and put our customers' wishes first, we try our best to give books to our customers on lowest prices. We ship Books through Fedex Priority. That is why we have satisfied customers all over the world, and are thrilled to be a part of the Books industry. StainesBooksHub also sell books in Bulk, We try our best to Provied High ...

More Information

Shipping Terms

We ship Books through Fedex Priority

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

Shipping rates from United Kingdom to U.S.A.
Order quantity	7 to 16 business days	3 to 10 business days
First item	US$ 40.55	US$ 67.58

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.