Formal Methods Computer Aided Design (85 results)

Softcover

Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-

5-star seller

Srivas, Mandayam [Editor]; Camilleri, Albert [Editor];

Condition: Used - Good

£ 8.06

Free Shipping

Ships within U.S.A.

Quantity: 1 available

Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipp…

Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings (Lecture Notes in Computer Science)

Language: English

Published by Springer, 1996

Softcover

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

5-star seller

Srivas, Mandayam, Camilleri, Albert

Condition: Used - Very good

£ 5.95

£ 5.17 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. Text block clean and unmarked. Tight binding.

Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings

Language: English

Published by Springer Berlin / Heidelberg, 1996

Softcover

Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books

5-star seller

Condition: Used - Good

£ 13.35

Free Shipping

Ships within U.S.A.

Quantity: 1 available

Condition: Good. 1996th Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

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)

Language: English

Published by Springer, 2004

Softcover

Seller: Austin Goodwill 1101, Austin, TX, U.S.A.Austin Goodwill 1101

5-star seller

Condition: Used - Good

£ 32.49

£ 2.44 shipping

Ships within U.S.A.

Quantity: 1 available

Condition: good. Book shows general signs of use and handling. May have light wear on the cover or edges and minimal writing or highlighting. Binding remains tight, and pages are clean and readable.

Formal Methods in Computer-Aided Design: 5th International Conference, Fmcad 2004, Austin, Texas, Usa, November 15-17, 2004, Proceedings

Language: English

Published by Springer, 2004

Softcover

Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.ThriftBooks-Dallas

5-star seller

Condition: Used - Very good

£ 35.53

Free Shipping

Ships within U.S.A.

Quantity: 1 available

Paperback. Condition: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Formal Methods in Computer-Aided Design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

Language: English

Published by Springer Berlin / Heidelberg, 2004

Softcover

Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books

5-star seller

3540001166 / 9783540001164

Condition: Used - Good

£ 40.64

Free Shipping

Ships within U.S.A.

Quantity: 1 available

Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Formal Methods in Computer-Aided Design : 4th International Conference, Fmcad 2002, Portland, Or, USA, November 2002, Proceedings

Language: English

Published by Springer Berlin / Heidelberg, 2002

Softcover

Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books

5-star seller

Condition: Used - Good

£ 46.29

Free Shipping

Ships within U.S.A.

Quantity: 1 available

Condition: Good. 2002nd Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Advances in Formal Design Methods for CAD : Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995

Language: English

Published by Springer, 2013

Series: Book 79 of 292 - IFIP Advances in Information and Communication Technology

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Srivas, Mandayam (EDT); Camilleri, Albert (EDT); Fmcad 9 (1996 Palo Alto, Calif.)

Condition: New

£ 47.69

£ 1.95 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Formal Methods in Computer-Aided Design : First International Conference, Fmcad '96 Palo Alto, Ca, Usa, November 6-8 , 1996 : Proceedings

Language: English

Published by Springer, 1996

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: New

£ 47.95

£ 1.95 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: New.

Formal Methods in Computer-Aided Design: First International Conference, Fmcad '96, Palo Alto, Ca, Usa, November 6 - 8, 1996, Proceedings (Paperback or Softback)

Srivas, Mandayam

Language: English

Published by Springer 10/23/1996, 1996

Softcover

Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

5-star seller

Condition: New

£ 49.96

Free Shipping

Ships within U.S.A.

Quantity: 5 available

Paperback or Softback. Condition: New. Formal Methods in Computer-Aided Design: First International Conference, Fmcad '96, Palo Alto, Ca, Usa, November 6 - 8, 1996, Proceedings. Book.

Advances in Formal Design Methods for CAD : Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995

Language: English

Published by Springer, 2013

Series: Book 79 of 292 - IFIP Advances in Information and Communication Technology

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Gopalakrishnan, Ganesh (EDT); Windley, Phillip (EDT)

Condition: Used - As new

£ 49.58

£ 1.95 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Formal Methods in Computer-Aided Design : Second Internaitonal Conference, Fmcad '98 Palo Alto, Ca, Usa, November 4-6, 1998 : Proceedings

Language: English

Published by Springer, 1998

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: New

£ 49.73

£ 1.95 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Formal Methods in Computer-Aided Design

Language: English

Published by Springer, 1998

Softcover

Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International

5-star seller

Condition: New

£ 51.75

Free Shipping

Ships within U.S.A.

Quantity: 10 available

Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.

Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings (Lecture Notes in Computer Science, 1166)

Language: English

Published by Springer, 1996

Softcover

Seller: California Books, Miami, FL, U.S.A.California Books

4-star seller

Gopalakrishnan, Ganesh (EDT); Windley, Phillip (EDT)

Condition: New

£ 51.78

Free Shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Formal Methods in Computer-Aided Design : Second Internaitonal Conference, Fmcad '98 Palo Alto, Ca, Usa, November 4-6, 1998 : Proceedings

Language: English

Published by Springer, 1998

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Hu, Alan J. (EDT); Martin, Andrew K. (EDT)

Condition: Used - As new

£ 51.01

£ 1.95 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Formal Methods In Computer-aided Design : 5th International Conference, Fmcad 2004, Austin, Texas, Usa, November 15-17, 2004, Proceedings

Language: English

Published by Springer, 2004

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Srivas, Mandayam (EDT); Camilleri, Albert (EDT); Fmcad 9 (1996 Palo Alto, Calif.)

Condition: Used - As new

£ 52.17

£ 1.95 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Formal Methods in Computer-Aided Design : First International Conference, Fmcad '96 Palo Alto, Ca, Usa, November 6-8 , 1996 : Proceedings

Language: English

Published by Springer, 1996

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: Used - As new

£ 52.75

£ 1.95 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: As New. Unread book in perfect condition.

Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995

Language: English

Published by Springer, 2013

Series: Book 79 of 292 - IFIP Advances in Information and Communication Technology

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Condition: New

£ 45.68

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Advances in Formal Design Methods for CAD : Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995

Language: English

Published by Springer, 2013

Series: Book 79 of 292 - IFIP Advances in Information and Communication Technology

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: New

£ 45.67

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings (Lecture Notes in Computer Science, 1166)

Language: English

Published by Springer, 1996

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings (Lecture Notes in Computer Science, 1522)

Language: English

Published by Springer, 1998

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

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)

Language: English

Published by Springer, 2004

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings

Srivas, Mandayam

Language: English

Published by Springer 1996-10, 1996

Softcover

Seller: Chiron Media, Wallingford, United KingdomChiron Media

5-star seller

Condition: New

£ 47.88

£ 15.49 shipping

Ships from United Kingdom to U.S.A.

Quantity: 10 available

PF. Condition: New.

Formal Methods in Computer-Aided Design : 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

Hu, Alan J.

Language: English

Published by Springer 2004-11, 2004

Softcover

Seller: Chiron Media, Wallingford, United KingdomChiron Media

5-star seller

Condition: New

£ 47.92

£ 15.49 shipping

Ships from United Kingdom to U.S.A.

Quantity: 10 available

PF. Condition: New.

Formal Methods in Computer-Aided Design. Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings

Language: English

Published by 1998-01-01, 1998

Softcover

Seller: Chiron Media, Wallingford, United KingdomChiron Media

5-star seller

Hu, Alan J. (EDT); Martin, Andrew K. (EDT)

Condition: New

£ 48.06

£ 15.49 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Paperback. Condition: New.

Formal Methods In Computer-aided Design : 5th International Conference, Fmcad 2004, Austin, Texas, Usa, November 15-17, 2004, Proceedings

Language: English

Published by Springer, 2004

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: New

£ 64.02

£ 1.95 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Advances in Formal Design Methods for CAD : Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995

Language: English

Published by Springer, 2013

Series: Book 79 of 292 - IFIP Advances in Information and Communication Technology

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Gopalakrishnan, Ganesh (EDT); Windley, Phillip (EDT)

Condition: Used - As new

£ 49.85

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Formal Methods in Computer-Aided Design : Second Internaitonal Conference, Fmcad '98 Palo Alto, Ca, Usa, November 4-6, 1998 : Proceedings

Language: English

Published by Springer, 1998

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Srivas, Mandayam (EDT); Camilleri, Albert (EDT); Fmcad 9 (1996 Palo Alto, Calif.)

Condition: New

£ 50.54

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Formal Methods in Computer-Aided Design : First International Conference, Fmcad '96 Palo Alto, Ca, Usa, November 6-8 , 1996 : Proceedings

Language: English

Published by Springer, 1996

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Hu, Alan J. (EDT); Martin, Andrew K. (EDT)

Condition: New

£ 50.36

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Formal Methods In Computer-aided Design : 5th International Conference, Fmcad 2004, Austin, Texas, Usa, November 15-17, 2004, Proceedings

Language: English

Published by Springer, 2004

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller