Pol Jaco Van De Editor (2 results)

Author:

Refine with Advanced Search

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th . / Programming and Software Engineering)
Brim, Lubos [Editor]; Haverkort, Boudewijn [Editor]; Leucker, Martin [Editor]; Pol, Jaco van de [Editor];
Language: English
Published by Springer, 2007
3540709517 / 9783540709510
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
5-star seller
Contact seller
Condition: Used - Very good
£ 42.33
£ 5.21 shipping
Ships within U.S.A.
Quantity: 1 available
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
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
Brim, Lubos (Editor)/ Haverkort, Boudewijn (Editor)/ Leucker, Martin (Editor)/ Pol, Jaco Van De (Editor)
Language: English
Published by Springer-Verlag New York Inc, 2007
3540709517 / 9783540709510
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
£ 66.97
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 361 pages. 9.00x6.00x0.75 inches. In Stock.