Close
Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Search
Formal Methods and Software Engineering: 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings

Formal Methods and Software Engineering: 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings (Paperback)

£55.99
Printed to order. Despatched in 2-3 weeks.
Email me when back in stock

Synopsis

This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.

Computing & ITComputer hardwareNetwork hardwareComputing & ITComputer programming / software developmentAlgorithms & data structuresComputing & ITComputer programming / software developmentProgramming & scripting languages: generalComputing & ITComputer programming / software developmentSoftware EngineeringComputing & ITComputer scienceMathematical theory of computation Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Publication Date: 24/08/2013 ISBN-13: 9783642412011  Details: Type: Paperback Format: Books
Availability: Printed to order. Despatched in 2-3 weeks.  

More books by Lindsay Groves

More books by Jing Sun

Leave Review

Delivery

Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

Location 1st Book Each additional book Average Delivery Time
UK Second Class Available free for ALL orders. No charge for each additional book. 3-7 Days
UK First Class £4.50 £1.00 1-2 Days
UK Courier £7.00 £1.00 1-2 Days
Western Europe** Courier £17.00 £3.00 2-3 Days
Western Europe** Airmail £5.00 £1.50 4-14 Days
USA / Canada Courier £20.00 £3.00 2-4 Days
USA / Canada Airmail £7.00 £3.00 4-14 Days
Rest of World Courier £22.50 £3.00 3-6 Days
Rest of World Airmail £8.00 £3.00 7-21 Days

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Delivery Help & FAQs

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

Connecting Networks v6 Labs & Study...
(Paperback)
Cisco Networking Academy; Allan Johnson
 
 
£45.99
 
Connecting Networks v6 Course Booklet
(Paperback)
Cisco Networking Academy
 
 
£29.99
 
Introduction to Intelligent...
(Hardback)
Wei Qi Yan
 
 
£42.99
 
Engineering Scalable, Elastic, and...
(Hardback)
Steffen Becker
 
 
£33.99
 
Latest Blog
#FoylesFave: Dr Seuss
25/09/2017

Matt from our Web Team is very silly. Maybe this explains his love for Dr Seuss, especially this new glow in the dark edition of What Was I Scared Of?

Read an Extract from A Skinful of Shadows
21/09/2017

Read an extract from the eagerly awaited new novel by the Costa-winning Frances Hardinge, A Skinful of Shadows.

#FoylesFive: Elsewhere-Elsewhen
18/09/2017

Jen from the Web Team shares a selection of books that will transport the reader to another time and place.

View all Blog Entries
Twitter
Show/Hide Tweets
© W&G Foyle Ltd