Brim Lubos Editor (3 results)

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];
- Softcover
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Very good
£ 42.60
£ 5.24 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 67.29
£ 12.50 shippingShips 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.

Mathematical Foundations of Computer Science 1998: 23rd International Symposium, Mfcs'98 Brno, Czech Republic, August 24-28, 1998 Proceedings
Brim, L. (Editor)/ Gruka, J. (Editor)/ Zlatuska, J. (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 136.02
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 846 pages. 9.50x6.25x1.50 inches. In Stock.