Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Software engineering

Buy Now

Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Paperback, 2013 ed.) Loot Price: R2,070

Discovery Miles 20 700

Repayment Terms: R194 pm x 12*

Add to cart

Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012,...

Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Paperback, 2013 ed.)

Elena Giachino, Reiner Hahnle, Frank S De Boer, Marcello M. Bonsangue

Series: Programming and Software Engineering, 7866

(sign in to rate)

Loot Price R2,070 Discovery Miles 20 700 | Repayment Terms: R194 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Programming and Software Engineering, 7866
Release date:	August 2013
First published:	2013
Editors:	Elena Giachino • Reiner Hahnle • Frank S De Boer • Marcello M. Bonsangue
Dimensions:	235 x 155 x 13mm (L x W x T)
Format:	Paperback
Pages:	241
Edition:	2013 ed.
ISBN-13:	978-3-642-40614-0
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Software engineering Promotions
LSN:	3-642-40614-9
Barcode:	9783642406140