Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August - Lubos Brim - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540709510 - February 20, 2007
In case cover and title do not match, the title is correct

Lubos Brim
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 2007 edition

Price
Íkr 6,919
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 15 - 23

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

Constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

376 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released February 20, 2007
ISBN13 9783540709510
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 366
Dimensions 155 × 235 × 19 mm   ·   526 g
Language German  
Editor Brim, Lubos
Editor Haverkort, Boudewijn
Editor Leucker, Martin
Editor Pol, Jaco van de

Mere med samme udgiver

See all of Lubos Brim ( e.g. Paperback Book )