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 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

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 121 b
50.19 €
98.15  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Miti, divinita ed eroi nel Mediterraneo antico Blazquez / Book Paperback
common.buy 201.59 € 394.27 лв
Affordable
Стихи и сказки. Пушкин Александр Пушкин / Book Hardback
common.buy 14.45 € 28.25 лв
Le Christ et Saint Jean - Icône classique 14x18 cm - 282.23 collegium / Game/Toy Toy
common.buy 21.85 € 42.74 лв
Coming soon
NOHAB-Diesellokomotiven / Video DVD
common.buy 18.69 € 36.56 лв
Die Umlegung Stadtischer Grundstucke Und Die Zonenenteignung (1897) Reinhard Baumeister / Book Paperback
common.buy 25.06 € 49.02 лв
Top
Puzzle 1000 Museum Caravaggio Bacchus 39765 / Game/Toy Jigsaw puzzle
common.buy 7.51 € 14.68 лв
KuliFerda (5–7 let) - SADA 5 pracovních sešitů č.2 Jana Pechancová / Book Paperback
common.buy 11.08 € 21.67 лв
SUELY ROLNIK VALLS BOIX / Book Book
common.buy 20.51 € 40.11 лв
Temperament a autonomní nervový systém Felix Irmiš / Book Hardback
common.buy 17.61 € 34.43 лв
Introduction à la sécurité internationale DESCHAUX-DUTARD / Book Paperback
common.buy 24.49 € 47.91 лв
So lebt Los Angeles Inken Klee / Book Paperback
common.buy 7.82 € 15.29 лв
Der kleine Haulemann Bettina Stietencron / Book Hardback
common.buy 9.37 € 18.33 лв
Hütchen aus der Eiche Gerhard Stadler / Book Hardback
common.buy 19.00 € 37.17 лв
Als der Sandmann keinen Traumsand mehr hatte Claudia Jung / Book Paperback
common.buy 9.68 € 18.93 лв
Der Schrei Ins Leben Elke Blessing / Book Paperback
common.buy 19.00 € 37.17 лв
Tod am Maschteich Marion Griffiths-Karger / Book Paperback
common.buy 13.46 € 26.33 лв
Mujeres Sexualmente Encima y No Debajo Julio Viernes / Book Paperback
common.buy 16.67 € 32.61 лв
Fallorientierte Didaktik Elisabeth Enengl / Book Paperback
common.buy 28.48 € 55.71 лв
La ballata del vecchio marinaio - Kubla Khan. Testo inglese a fronte Samuel T. Coleridge / Book Paperback
common.buy 11.18 € 21.87 лв
Johann Wolfgang von Goethes "Prometheus". Eine Interpretation Philipp Hänicke / Book Paperback
common.buy 8.23 € 16.10 лв
Garabandal, la risa de la Virgen ENRIQUE ALVAREZ / Book Paperback
common.buy 16.88 € 33.02 лв
Comprendre Les Th'ories 'Conomiques. CL's de Lecture T1 Jean-Marie Albertini / Book Paperback
common.buy 12.27 € 24.00 лв
Bauindustrie Thomas Trares / Book Paperback
common.buy 9.68 € 18.93 лв

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 54.48 € 106.56 лв
Edward Lear and the Play of Poetry James Williams / Book Hardback
common.buy 164.40 € 321.53 лв
Ferment Tim Spector / Book Hardback
common.buy 24.91 € 48.72 лв
Study Guide for Clayton's Basic Pharmacology for Nurses Michelle J. Willihnganz / Book Paperback
common.buy 50.03 € 97.85 лв
Top
Savage Fae Susanne Valenti / Book Paperback
common.buy 20.92 € 40.92 лв
The Invisible Leash Joanne Lew-Vriethoff / Book Paperback
common.buy 8.44 € 16.50 лв
Flags of The World (Asia): Kids Coloring Book Lamees Alhassar / Book Paperback
common.buy 16.67 € 32.61 лв
Russian Criminal Playing Cards Damon Murray / Printed items Cards
common.buy 27.29 € 53.38 лв
Riverwoods Charles Kruvand / Book Hardback
common.buy 33.56 € 65.64 лв
Harold at the North Pole Crockett Johnson / Book Board book
common.buy 6.99 € 13.67 лв
REPORT RHODE COMMISSIONERS / Book Hardback
common.buy 31.64 € 61.89 лв
Castle Dangerous, Appendix, Etc.; Early Poems and the Lay of the Last Minstrel Sir Walter Scott / Book Hardback
common.buy 45.83 € 89.64 лв
Twentieth-Century Caribbean Literature Alison Donnell / Book Paperback
common.buy 64.90 € 126.92 лв
Artificial Neural Networks - ICANN 2007 Joaquim Marques de Sá / Book Paperback
common.buy 119.90 € 234.51 лв
Glubb Reports: Glubb Pasha and Britain's Empire Project in the Middle East 1920-1956 Tancred Bradshaw / Book Hardback
common.buy 61.22 € 119.73 лв
Defense of Abortion David Boonin / Book Paperback
common.buy 36.25 € 70.90 лв
Coming soon
International Express: Beginner: Student's Book Pack Bryan Stephens / Book Paperback
common.buy 24.03 € 46.99 лв

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?