Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

Formal Methods for Components and Objects

Formal Methods for Components and Objects

11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Formal Methods for Components and Objects( )
Editor: Giachino, Elena
de Boer, Frank S.
Bonsangue, Marcello M.
Hähnle, Reiner
Series title:Lecture Notes in Computer Science Ser.
ISBN:978-3-642-40614-0
Publication Date:Aug 2013
Publisher:Springer
Book Format:Paperback
List Price:USD $72.00
Book Description:

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.

Book Details
Pages:241
Detailed Subjects: Computers / General
Computers / Programming / Object Oriented
Crafts & Hobbies / Miniatures
Computers / Software Development & Engineering / Systems Analysis & Design
Physical Dimensions (W X L X H):6.045 x 9.165 x 0.207 Inches
Book Weight:0.86 Pounds

Book Seller

Condition

Price

Shipping

Total

Loading Stock Details...


NEW!
Bowker Bookwire™ App

Bookwire is a mobile app for your iPhone that gives you the ability to scan a barcode or enter ISBN, access book records and add titles to wish lists. Android app on Google Play

Featured Books

The Kept Woman
Slaughter, Karin
Paperback: $27.99
Coffin Road
May, Peter
Electronic book text:

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.