Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods for Components and Objects

Name: Formal Methods for Components and Objects
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02016940
Price: 18321 HUF
Availability: InStock
Author: Elena Giachino
ISBN: 9783642406140

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

Elena Giachino

Reiner Hähnle

Frank S. de Boer

Marcello M. Bonsangue

Language

English

Book Paperback

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

Libristo code: 02016940

125 b

18 321 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Der kleine Haulemann Bettina Stietencron

Hardback

3 429 Ft

SUELY ROLNIK VALLS BOIX

Book

6 974 Ft

KuliFerda (5–7 let) - SADA 5 pracovních sešitů č.2 Jana Pechancová

Paperback

3 841 Ft

Puzzle 1000 Museum Caravaggio Bacchus 39765

Jigsaw puzzle

2 537 Ft

Miti, divinita ed eroi nel Mediterraneo antico Blazquez

Paperback

70 234 Ft

Рождение СССР Владимир Анищенков

Hardback

8 033 Ft

NOHAB-Diesellokomotiven

DVD

6 845 Ft

Le Christ et Saint Jean - Icône classique 14x18 cm - 282.23 collegium

Toy

7 548 Ft

Introduction à la sécurité internationale DESCHAUX-DUTARD

Paperback

8 426 Ft

Hütchen aus der Eiche Gerhard Stadler

Hardback

6 961 Ft

Als der Sandmann keinen Traumsand mehr hatte Claudia Jung

Paperback

3 545 Ft

Der Schrei Ins Leben Elke Blessing

Paperback

6 961 Ft

Tod am Maschteich Marion Griffiths-Karger

Paperback

4 922 Ft

Mujeres Sexualmente Encima y No Debajo Julio Viernes

Paperback

6 392 Ft

Fallorientierte Didaktik Elisabeth Enengl

Paperback

10 422 Ft

Temperament a autonomní nervový systém Felix Irmiš

Hardback

5 509 Ft

Johann Wolfgang von Goethes "Prometheus". Eine Interpretation Philipp Hänicke

Paperback

2 168 Ft

Garabandal, la risa de la Virgen ENRIQUE ALVAREZ

Paperback

5 657 Ft

Comprendre Les Th'ories 'Conomiques. CL's de Lecture T1 Jean-Marie Albertini

Paperback

4 280 Ft

Bauindustrie Thomas Trares

Paperback

3 545 Ft

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.