Code: 01562395

Formal Methods for Components and Objects

Name: Formal Methods for Components and Objects
Brand: Springer, Berlin
SKU: 01562395
Price: 58.44 EUR
Availability: InStock

by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

Language: English
Binding: Paperback
Number of pages: 429
Publisher: Springer, Berlin, 2006
More about this

58.44 €

Low in stock at our supplier
Shipping in 10 - 14 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Digital Media and Society - An Introduction
83.55 €
Buy
Child's Calendar (20th Anniversary Edition)
14.85 € -26 %
Buy
Many Cargoes
24.30 € -2 %
Buy
Imagine That!
16.46 € -4 %
Buy
Tachykinin Receptors
177.16 €
Buy
Person - An Introduction to the Science of Personality Psychology, 5e
240.54 €
Buy
Teaching Modern Foreign Languages at Advanced Level
59.35 €
Buy
Hopes and Triumphs of the Amir Sisters
10.54 € -18 %
Buy
Drachenbrut
11.14 € -9 %
Buy
Explosivstoffe
161.59 € -4 %
Buy
Käsebier erobert den Kurfürstendamm
21.68 € -12 %
Buy
Schutz vor Diskriminierungen im Europäischen Arbeitsrecht. Die Rahmenrichtlinie 2000/78/EG vom 27. November 2000 - Religion, Weltanschauung, Behinderu
124.93 €
Buy
Ja genau!
21.28 €
Buy
Sozialkapital und Kooperation
97.71 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Formal Methods for Components and Objects

Book details
Synopsis
Trending among others

You get 147 loyalty points

Book synopsis

This book presents 19 revised invited keynote lectures and revised tutorial lectures given at the 4th International Symposium on Formal Methods for Components and Objects, FMCO 2005, Amsterdam, November 2005. The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems such as component-based systems and object systems.

Book details

Book category Books in English Computing & information technology Computer programming / software development

58.44 €

Full title: Formal Methods for Components and Objects
Subtitle: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Author: Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf
Language: English
Binding: Paperback
Number of pages: 429
EAN: 9783540367499
ISBN: 3540367497
ID: 01562395
Publisher: Springer, Berlin
Weight: 662 g
Dimensions: 234 × 156 × 22 mm
Published: 2006