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: 01571145
Price: 19902 HUF
Availability: InStock
Author: Frank S. de Boer
ISBN: 9783540921875

6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Frank S. de Boer

Marcello M. Bonsangue

Susanne Graf

Willem-Paul de Roever

Language

English

Book Paperback

Libristo code: 01571145

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2008

Formal methods have been applied successfully to the verification of medium-sized programs in protoc... Full description

Libristo code: 01571145

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Das Baukastensystem in Der Technik K. H. Borowski

Paperback

29 695 Ft

Ohne Manni lauft nix Peggy Schroder

Adobe ePub DRM

1 160 Ft

Der Präparator und Konservator Robert Voegler

Paperback

10 390 Ft

Комплект "Праздник как по нотам. Изысканный стол". Ф. Шмитт

Hardback

17 836 Ft

Aramon Temps Anciens, Administration, Temps Modernes ""

Paperback

16 722 Ft

Histoire Des Ducs De Bourgogne De La Maison De Valois, 1364-1477; Georges Chastellain

Paperback

10 640 Ft

KoboldKroniken 3. Klassenfahrt mit Klabauter Daniel Bleckmann

Adobe ePub DRM

3 901 Ft

Orígenes de las lenguas neolatinas Carlos Tagliavini

Paperback

12 414 Ft

Meine Weihnachtsgeschichten Tobi Leilason

Paperback

4 234 Ft

Listy Josefa Floriana Jaroslavu Janouchovi Ladislav Janouch

Paperback

3 194 Ft

ANTI-MARX JUAN RAMON RALLO

Paperback

10 422 Ft

La superficie de la Tierra, I Jose Lugo Hubp

Adobe ePub DRM

1 160 Ft

FrühStücke, 3 Audio-CDs Willy Astor

Audio CD

13 953 Ft

Finanzplaner TV Jörg Birkelbach

Paperback

16 431 Ft

Sgrammit: quaderno verde 1. «Il testo narrativo e il testo descrittivo»

Paperback

4 895 Ft

Gorputza eta generoa ALVAREZ URIA

Book

4 409 Ft

Algorytmica Marion Herzog

Paperback

5 616 Ft

J'aime la maternelle - Mes activités effaçables - Grande section 5-6 ans

Spiral bound

4 456 Ft

Bracelet pierres baroques et éléments métalliques - Hématite

binding.

1 830 Ft

Storytelling im Business. Vermarkten anhand von Geschichten Julia Heese

Paperback

13 704 Ft

Veľká kniha zvukov - Zvieratá neuvedený autor

Board book

4 705 Ft

Cours De Philosophie Positive V4: La Partie Dogmatique De La Philosophie Sociale (1869) Auguste Comte

Paperback

15 696 Ft

Entdecke das Heilige in dir Anselm Grün

Sheet

1 830 Ft

A okraje máš kde? Juraj Čokyna

Paperback

5 422 Ft

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java.§The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This book presents 12 revised papers submitted after the symposium by the speakers of each of the following European IST projects: the IST-FP6 project Mobius, developing the technology for establishing trust and security for the next generation of global computers; the IST-FP6 project SelfMan on self management for large-scale distributed systems based on structured overlay networks and components; the IST-FP6 project GridComp and the FP6 CoreGRID Network of Excellence on grid programming with components; the Real-time component cluster of the Network of Excellence on Embedded System Design ARTIST, focussing on design processes, and architectures for real-time embedded systems; and the IST-FP6 project CREDO on modeling and analysis of evolutionary structures for distributed services.