Marcello M Bonsangue
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures - Lecture Notes in Computer Science Marcello M Bonsangue 2008 edition

Name: Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures - Lecture Notes in Computer Science
Price: 6919 ISK
Availability: OutOfStock
Author: Marcello M Bonsangue

Price

Íkr 6,919

excl. VAT

Ordered from remote warehouse

Expected delivery Jul 15 - 23

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Not rated yet

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures - Lecture Notes in Computer Science

Marcello M Bonsangue

2008 edition

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;

324 pages, biography

Media	Books Paperback Book (Book with soft cover and glued back)
Released	December 1, 2008
ISBN13	9783540921875
Publishers	Springer-Verlag Berlin and Heidelberg Gm
Pages	313
Dimensions	155 × 235 × 17 mm · 476 g
Language	French
Editor	Bonsangue, Marcello M.
Editor	De Roever, Willem-paul
Editor	Graf, Susanne