Formal Methods Applications and Technology: 11th International Workshop, on Formal Methods for Industrial Critical Systems, FMICS 2006 and 5th International Workshop, PDMC 2006 Bonn, Germany, A (3540709517) by Lubos Brim, Martin Leucker, Jaco van de Pol, Boudewijn Haverkort @ BookFinder.com

	Formal Methods Applications and Technology: 11th International Workshop, on Formal Methods for Industrial Critical Systems, FMICS 2006 and 5th International Workshop, PDMC 2006 Bonn, Germany, A by Lubos Brim, Martin Leucker, Jaco van de Pol, Boudewijn Haverkort ISBN 3540709517 / 9783540709510 / 3-540-70951-7 Publisher Springer-Verlag New York Inc Country Germany Language English Edition Softcover List price $74.95 Find All Copies › Find collectible copies of 'Formal Methods Applications and Technology: 11th International Workshop, on Formal Methods for Industrial Critical Systems, FMICS 2006 and 5th International Workshop, PDMC 2006 Bonn, Germany, A'

Serendipity:

		Search \| About \| Preferences \| Interact \| Help

150 million books. 1 search engine.	Search Author, Title or ISBN

Formal Methods Applications and Technology: 11th International Workshop, on Formal Methods for Industrial Critical Systems, FMICS 2006 and 5th International Workshop, PDMC 2006 Bonn, Germany, A