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

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Formal Methods for Components and Objects

Name: Formal Methods for Components and Objects
Brand: Springer, Berlin
SKU: 01562395
Price: 51.54 EUR
Availability: InStock
Author: Frank S. de Boer
ISBN: 9783540367499

4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Frank S. de Boer

Marcello M. Bonsangue

Susanne Graf

Language

English

Book Paperback

Libristo code: 01562395

Publishers Springer, Berlin, November 2005

This book presents 19 revised invited keynote lectures and revised tutorial lectures given at the 4t... Full description

Libristo code: 01562395

125 b

51.54 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Explosivstoffe Josef Köhler

Hardback

178.56 €

SPAWN INTEGRAL Nº 07 MCFARLANE

Hardback

46.20 €

Drachenbrut Naomi Novik

Paperback

10.89 €

Schutz vor Diskriminierungen im Europäischen Arbeitsrecht. Die Rahmenrichtlinie 2000/78/EG vom 27. November 2000 - Religion, Weltanschauung, Behinderu Jochen Mohr

Paperback

147.38 €

Caesaris Bellum Helveticum. E comentariis de bello Gallico Gaius Julius Caesar

Paperback

31.37 €

Ja genau! Claudia Böschel

Paperback

24.00 €

Spory o Jana Žižku 1424-2024 Petr Čornej

Sheet

25.01 €

Viaje hacia el Polo Sur y alrededor del mundo James Cook

Paperback

25.51 €

Sozialkapital und Kooperation Kai Riemer

Paperback

97.85 €

Les Juifs Presentes Aux Chretiens Modene Leon De

Paperback

41.45 €

Voyage autour d'un AVC Karima Sari

Paperback

16.94 €

Hotel času Emilly Ross

Paperback

11.39 €

Casse-Noisette Desarthe

Book

25.62 €

Tous ensemble 3/4

Sheet

20.07 €

Laboratorio vivencial Jesús Alberto Salom Crespo

Paperback

31.97 €

Spiegelschatten Monika Feth

Paperback

9.07 €

Tout le monde sont juifs Nahmias

Paperback

12.20 €

Recreación del humanismo : desde la historia José Andrés-Gallego

Paperback

16.33 €

ICONE DU CHRIST MISERICORDIEUX M WINOWSKA

Paperback

19.56 €

Littérature et écologie SCHOENTJES PIERRE

Paperback

31.16 €

POLITIQUES SOCIALES ET CROISSANCE ÉCONOMIQUE Ogier

Paperback

28.74 €

La renovació pedagògica a la Catalunya del segle XXI Besalú Costa

Paperback

7.25 €

Investigación neuroeducativa : neurociencia, educación y cerebro : de los contextos a la práctica Paul Howard-Jones

Paperback

45.69 €

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.