Order Total (1 Item Items):
Shipping Destination:
Formal Methods Computer Aided Design (89 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (89)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (38)
- Not Print on Demand (74)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings (Lecture Notes in Computer Science, 3312)
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Used - Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre.' Ex-library, but has been well cared for. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
More buying choices from other sellers on AbeBooks
New offers from £ 50.81
Used offers from £ 6.73
Also find Softcover
-
Formal Methods in Computer-Aided Design. First International Conference, FMCAD '96 Palo Alto, CA, USA, Nov. 6-8, 1996 Proceedings. (=Lecture Notes in Computer Science; 1166).
Published by Springer Berlin, 1996
Language: English
£ 13.16
Convert currency£ 17.03 shipping from Germany to United KingdomQuantity: 1 available
Add to basketSoftcover. Condition: Gut. 470 Computerwissenschaft Guter Zustand/ Good With figures and tables. Ex-Library. ha1060027 Sprache: Englisch Gewicht in Gramm: 650.
-
Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
Published by Springer Berlin Heidelberg, 1996
ISBN 10: 3540619372 ISBN 13: 9783540619376
Language: English
£ 31.41
Convert currency£ 7.58 shipping from Germany to United KingdomQuantity: 2 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 488 | Sprache: Englisch | Produktart: Bücher.
More buying choices from other sellers on AbeBooks
New offers from £ 50.82
Used offers from £ 38.99
Also find Softcover
-
Formal Methods in Computer-Aided Design : Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
Published by Springer Berlin Heidelberg, 1998
ISBN 10: 3540651918 ISBN 13: 9783540651918
Language: English
£ 33.30
Convert currency£ 7.58 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Gut. Zustand: Gut | Seiten: 548 | Sprache: Englisch | Produktart: Bücher.
More buying choices from other sellers on AbeBooks
New offers from £ 47.13
Used offers from £ 40.88
Also find Softcover
-
£ 9.92
Convert currency£ 30.57 shipping from Germany to United KingdomQuantity: 1 available
Add to basketpaperback. Condition: Befriedigend. 564 Seiten; 9783540432029.4 Gewicht in Gramm: 1.
More buying choices from other sellers on AbeBooks
New offers from £ 59.76
Used offers from £ 40.49
Also find Softcover
-
Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 45.62
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods in Computer-Aided Design : Proceedings of the 4th International Conference, FMCAD 2002, Portland, OR, November 6-8, 2002 (Lecture Notes in Computer Science, Vol. 2517).
Published by New York, NY, U.S.A. Springer-Verlag New York, Incorporated, 2002
ISBN 10: 3540001166 ISBN 13: 9783540001164
Language: English
£ 14.84
Convert currency£ 33.21 shipping from Germany to United KingdomQuantity: 1 available
Add to basketSoftcover. Condition: Gut. Gebraucht - Gut Zustand: Gut, Mängelexemplar, XI, 399 p. About this book: This book constitutes the refereed proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2002, held in Portland, OR, USA in November 2002. The 23 revised full papers presented were carefully reviewed and selected from 47 submissions. The book offers topial sections on abstraction, symbolic simulation, model checking, microprocessor specification and verification, decision procedures, verification techniques and methodology, hardware description languages, and prototyping and synthesis. Written for research and development professionals.
More buying choices from other sellers on AbeBooks
New offers from £ 50.81
Used offers from £ 48.05
Also find Softcover
-
£ 13.67
Convert currency£ 55.28 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketHardcover. Condition: New.
-
More buying choices from other sellers on AbeBooks
New offers from £ 82.29
Used offers from £ 178
Also find Hardcover
-
Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 137.92
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
More buying choices from other sellers on AbeBooks
New offers from £ 137.92
Used offers from £ 198
Also find Softcover
-
Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 (IFIP ... in Information and Communication Technology)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 191.22
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
More buying choices from other sellers on AbeBooks
New offers from £ 191.22
Used offers from £ 261
Also find Softcover
