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

Name: Formal Methods for Components and Objects
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642406140
Price: 7200 KES
Availability: OutOfStock
ISBN: 9783642406140

2013 ed.

Book Details

Format Paperback / softback

Book Series Lecture Notes in Computer Science

ISBN-10 3642406149

ISBN-13 9783642406140

Edition 2013 ed.

Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Country of Manufacture DE

Country of Publication GB

Publication Date Aug 26th, 2013

Print length 241 Pages

Product Classification: Software Engineering Mathematical theory of computation

KSh 7,200.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

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 book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.

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.

Get Formal Methods for Components and Objects by Elena Giachino at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG and it has 241 pages.