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 3.99 € DPD point 3.49 € GLS courier 4.99 € GLS point 3.99 € Croatian Post 4.99 € Overseas courier 4.99 € Box Now 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.26 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Top
Стихи и сказки. Пушкин Александр Пушкин / Book Hardback
common.buy 15.58 €
Fallorientierte Didaktik Elisabeth Enengl / Book Paperback
common.buy 26.74 €
Bauindustrie Thomas Trares / Book Paperback
common.buy 9.05 €
SUELY ROLNIK VALLS BOIX / Book Book
common.buy 18.50 €
Top
Duden ? Das Synonymwörterbuch Dudenredaktion / Book Hardback
common.buy 20.31 €
KuliFerda (5–7 let) - SADA 5 pracovních sešitů č.2 Jana Pechancová / Book Paperback
common.buy 10.45 €
Top
Puzzle 1000 Museum Caravaggio Bacchus 39765 / Game/Toy Jigsaw puzzle
common.buy 8.34 €
Miti, divinita ed eroi nel Mediterraneo antico Blazquez / Book Paperback
common.buy 189.17 €
Рождение СССР Владимир Анищенков / Book Hardback
common.buy 21.21 €
Coming soon
NOHAB-Diesellokomotiven / Video DVD
common.buy 17.50 €
Garabandal, la risa de la Virgen ENRIQUE ALVAREZ / Book Paperback
common.buy 15.78 €
Le Christ et Saint Jean - Icône classique 14x18 cm - 282.23 collegium / Game/Toy Toy
common.buy 19.00 €
Johann Wolfgang von Goethes "Prometheus". Eine Interpretation Philipp Hänicke / Book Paperback
common.buy 7.74 €
Introduction à la sécurité internationale DESCHAUX-DUTARD / Book Paperback
common.buy 21.51 €
Comprendre Les Th'ories 'Conomiques. CL's de Lecture T1 Jean-Marie Albertini / Book Paperback
common.buy 10.35 €
So lebt Los Angeles Inken Klee / Book Paperback
common.buy 7.33 €
Die Umlegung Stadtischer Grundstucke Und Die Zonenenteignung (1897) Reinhard Baumeister / Book Paperback
common.buy 24.94 €
Moderne Praxisf hrung Christoph Reisner / Book Paperback
common.buy 42.83 €
Temperament a autonomní nervový systém Felix Irmiš / Book Hardback
common.buy 15.88 €
Der kleine Haulemann Bettina Stietencron / Book Hardback
common.buy 8.74 €
Hütchen aus der Eiche Gerhard Stadler / Book Hardback
common.buy 17.80 €
Als der Sandmann keinen Traumsand mehr hatte Claudia Jung / Book Paperback
common.buy 9.04 €
Mujeres Sexualmente Encima y No Debajo Julio Viernes / Book Paperback
common.buy 16.59 €
Der Schrei Ins Leben Elke Blessing / Book Paperback
common.buy 17.79 €

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.38 €
Russian Criminal Playing Cards Damon Murray / Printed items Cards
common.buy 24.03 €
Twentieth-Century Caribbean Literature Alison Donnell / Book Paperback
common.buy 64.46 €
Returning to Reality Paul Tyson / Book Paperback
common.buy 23.02 €
Castle Dangerous, Appendix, Etc.; Early Poems and the Lay of the Last Minstrel Sir Walter Scott / Book Hardback
common.buy 45.57 €
Rock-A-Bye Baby in Hawaii Jane Gillespie / Book Board book
common.buy 8.64 €
REPORT RHODE COMMISSIONERS / Book Hardback
common.buy 31.48 €
Harold at the North Pole Crockett Johnson / Book Board book
common.buy 7.13 €
Riverwoods Charles Kruvand / Book Hardback
common.buy 31.07 €
JOHNNY JORDAN AND HIS DOG ELIZABETH EILOART / Book Hardback
common.buy 36.21 €
Be a Weather Detective: Solving the Mysteries of Cycles, Seasons, and Elements Peggy Kochanoff / Book Paperback
common.buy 11.25 €
Flags of The World (Asia): Kids Coloring Book Lamees Alhassar / Book Paperback
common.buy 16.59 €
The Invisible Leash Joanne Lew-Vriethoff / Book Paperback
common.buy 8.54 €
Top
Savage Fae Susanne Valenti / Book Paperback
common.buy 22.02 €
Coming soon
Study Guide for Clayton's Basic Pharmacology for Nurses Michelle J. Willihnganz / Book Paperback
common.buy 43.64 €
Ferment Tim Spector / Book Hardback
common.buy 23.42 €
Edward Lear and the Play of Poetry James Williams / Book Hardback
common.buy 163.32 €
Coming soon
International Express: Beginner: Student's Book Pack Bryan Stephens / Book Paperback
common.buy 23.83 €
Next to Die Neil White / Book Paperback
common.buy 11.76 €
Artificial Neural Networks - ICANN 2007 Joaquim Marques de Sá / Book Paperback
common.buy 115.05 €
Defense of Abortion David Boonin / Book Paperback
common.buy 36.00 €
Glubb Reports: Glubb Pasha and Britain's Empire Project in the Middle East 1920-1956 Tancred Bradshaw / Book Hardback
common.buy 58.32 €
Computer Mathematics D. J. CookeH. E. Bez / Book Paperback
common.buy 48.87 €
Tod am Maschteich Marion Griffiths-Karger / Book Paperback
common.buy 12.57 €

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?