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 for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Foyalty 148

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Paperback)

£48.99
Usually despatched within 2 weeks.

Synopsis

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java.



This book contains 20 revised papers submitted after the 10th Symposium on Formal Methods for Components and Objects, FMCO 2011, which was held in Turin, Italy, in October 2011. Topics covered include autonomic service-component ensembles; trustworthy eternal systems via evolving software, data, and knowledge; parallel patterns for adaptive heterogeneous multicore systems; programming for future 3D architectures with many cores; formal verification of object oriented software; and an infrastructure for reliable computer systems.

Computing & ITComputer programming / software developmentProgramming & scripting languages: generalComputing & ITComputer programming / software developmentSoftware EngineeringComputing & ITDatabasesInformation retrievalComputing & ITOperating systems Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Publication Date: 03/01/2013 ISBN-13: 9783642358869  Details: Type: Paperback Format: Books
Availability: Usually despatched within 2 weeks. Login for Quick Checkout Add to Basket

More books by Bernhard Beckert

More books by Ferruccio Damiani

More books by Frank S. de Boer

More books by Marcello M. Bonsangue

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 Standard Delivery FREE FREE 3-5 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

A Programmer's Guide to Java SE 8...
(Paperback)
Khalid A. Mughal
 
£43.99
£32.99
25%
Introduction to Deep Learning ...
(Paperback)
Armando Vieira; Bernardete Ribeiro
 
 
£19.99
 
Getting MEAN with Mongo, Express,...
(Paperback)
Simon Holmes
 
 
£24.99
 
Finite Element Computations in...
(Hardback)
Khameel Bayo Mustapha
 
 
£100.00
 
© W&G Foyle Ltd
Foyles uses cookies to help ensure your experience on our site is the best possible. Click here if you’d like to find out more about the types of cookies we use.
Accept and Close