Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Formal Methods for Components and Objects

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

Language EnglishEnglish
Book Paperback
Book Formal Methods for Components and Objects Elena Giachino
Libristo code: 02016940
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2013
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and... Full description
? points 115 b
47.54 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Der kleine Haulemann Bettina Stietencron / Book Hardback
common.buy 8.79 €
SUELY ROLNIK VALLS BOIX / Book Book
common.buy 19.62 €
KuliFerda (5–7 let) - SADA 5 pracovních sešitů č.2 Jana Pechancová / Book Paperback
common.buy 10.41 €
Top
Puzzle 1000 Museum Caravaggio Bacchus 39765 / Game/Toy Jigsaw puzzle
common.buy 7.17 €
Miti, divinita ed eroi nel Mediterraneo antico Blazquez / Book Paperback
common.buy 193.24 €
Рождение СССР Владимир Анищенков / Book Hardback
common.buy 22.65 €
Coming soon
NOHAB-Diesellokomotiven / Video DVD
common.buy 17.59 €
Le Christ et Saint Jean - Icône classique 14x18 cm - 282.23 collegium / Game/Toy Toy
common.buy 21.24 €
Introduction à la sécurité internationale DESCHAUX-DUTARD / Book Paperback
common.buy 23.77 €
Hütchen aus der Eiche Gerhard Stadler / Book Hardback
common.buy 17.90 €
Als der Sandmann keinen Traumsand mehr hatte Claudia Jung / Book Paperback
common.buy 9.10 €
Der Schrei Ins Leben Elke Blessing / Book Paperback
common.buy 17.90 €
Tod am Maschteich Marion Griffiths-Karger / Book Paperback
common.buy 12.64 €
Mujeres Sexualmente Encima y No Debajo Julio Viernes / Book Paperback
common.buy 16.68 €
Fallorientierte Didaktik Elisabeth Enengl / Book Paperback
common.buy 26.90 €
Temperament a autonomní nervový systém Felix Irmiš / Book Hardback
common.buy 15.57 €
Johann Wolfgang von Goethes "Prometheus". Eine Interpretation Philipp Hänicke / Book Paperback
common.buy 5.66 €
Garabandal, la risa de la Virgen ENRIQUE ALVAREZ / Book Paperback
common.buy 15.98 €
Comprendre Les Th'ories 'Conomiques. CL's de Lecture T1 Jean-Marie Albertini / Book Paperback
common.buy 12.03 €
Bauindustrie Thomas Trares / Book Paperback
common.buy 9.10 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Methods for Components and Objects
Author Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue
Language English
Binding Book - Paperback
Date of issue 2013
Number of pages 241
EAN 9783642406140
ISBN 3642406149
Libristo code 02016940
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 3869
Dimensions 155 x 235 x 15

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Advances in Web-Based Learning - ICWL 2004 Wenyin Liu / Book Paperback
common.buy 51.69 €
Study Guide for Clayton's Basic Pharmacology for Nurses Michelle J. Willihnganz / Book Paperback
common.buy 51.08 €
Top
Savage Fae Susanne Valenti / Book Paperback
common.buy 20.93 €
The Invisible Leash Joanne Lew-Vriethoff / Book Paperback
common.buy 8.39 €
Flags of The World (Asia): Kids Coloring Book Lamees Alhassar / Book Paperback
common.buy 16.68 €
Be a Weather Detective: Solving the Mysteries of Cycles, Seasons, and Elements Peggy Kochanoff / Book Paperback
common.buy 10.61 €
Russian Criminal Playing Cards Damon Murray / Printed items Cards
common.buy 26.50 €
Riverwoods Charles Kruvand / Book Hardback
common.buy 30.85 €
Harold at the North Pole Crockett Johnson / Book Board book
common.buy 6.97 €
REPORT RHODE COMMISSIONERS / Book Hardback
common.buy 31.66 €
Castle Dangerous, Appendix, Etc.; Early Poems and the Lay of the Last Minstrel Sir Walter Scott / Book Hardback
common.buy 45.82 €
Twentieth-Century Caribbean Literature Alison Donnell / Book Paperback
common.buy 61.71 €
Edward Lear and the Play of Poetry James Williams / Book Hardback
common.buy 158.74 €
Defense of Abortion David Boonin / Book Paperback
common.buy 36.21 €
Artificial Neural Networks - ICANN 2007 Joaquim Marques de Sá / Book Paperback
common.buy 114.52 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account