Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September ... (Lecture Notes in Computer Science)

0 avg rating
( 0 ratings by Goodreads )
 
9783540590477: Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September ... (Lecture Notes in Computer Science)
View all copies of this ISBN edition:
 
 

This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karlsruhe) and IFIP Working Group 10.2 in Bad Herrenalb, Germany in September 1994.
The 19 papers included are thoroughly revised versions of the submissions selected for presentation at the conference and address all current aspects of theorem provers in circuit design. Particular emphasis is given to benchmark-circuits for hardware verification; tutorials on two popular theorem provers are included.

"synopsis" may belong to another edition of this title.

Buy New View Book
List Price: US$ 109.00
US$ 43.25

Convert Currency

Shipping: FREE
From India to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Thoma
ISBN 10: 3540590471 ISBN 13: 9783540590477
New Quantity Available: 2
Seller:
Bookshub
(Karol Bagh, India)
Rating
[?]

Book Description Condition: New. New. US edition. Perfect condition. Customer satisfaction our priority. Seller Inventory # ABE-FEB-123845

More information about this seller | Contact this seller

Buy New
US$ 43.25
Convert Currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, Rates & Speeds

2.

Thoma
ISBN 10: 3540590471 ISBN 13: 9783540590477
New Quantity Available: 2
Seller:
EBOOKSTORE2010
(New Delhi, ND, India)
Rating
[?]

Book Description Condition: Brand New. New. US edition. Customer Satisfaction guaranteed!!. Seller Inventory # SHUB123845

More information about this seller | Contact this seller

Buy New
US$ 43.30
Convert Currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, Rates & Speeds

3.

Thoma
ISBN 10: 3540590471 ISBN 13: 9783540590477
New Quantity Available: 5
Seller:
firstbookstore
(New Delhi, India)
Rating
[?]

Book Description Condition: Brand New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Seller Inventory # AIND-37896

More information about this seller | Contact this seller

Buy New
US$ 43.34
Convert Currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, Rates & Speeds

4.

Thoma
ISBN 10: 3540590471 ISBN 13: 9783540590477
New Quantity Available: 2
Seller:
Basi6 International
(Irving, TX, U.S.A.)
Rating
[?]

Book Description Condition: Brand New. New, US edition. Excellent Customer Service. Seller Inventory # ABEUSA-123845

More information about this seller | Contact this seller

Buy New
US$ 45.87
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

5.

Thoma
ISBN 10: 3540590471 ISBN 13: 9783540590477
New Quantity Available: 5
Seller:
Romtrade Corp.
(STERLING HEIGHTS, MI, U.S.A.)
Rating
[?]

Book Description Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship fro the US or other locations in India depending on your location and availability. Seller Inventory # AUSBNEW-37896

More information about this seller | Contact this seller

Buy New
US$ 46.43
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

6.

Ramayya Kumar (Editor), Thomas Kropf (Editor)
Published by Springer (1995)
ISBN 10: 3540590471 ISBN 13: 9783540590477
New Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 1995. Paperback. Condition: New. 1995. Seller Inventory # DADAX3540590471

More information about this seller | Contact this seller

Buy New
US$ 62.22
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

7.

Published by Springer
ISBN 10: 3540590471 ISBN 13: 9783540590477
New Softcover Quantity Available: 1
Seller:
Ohmsoft LLC
(Lake Forest, IL, U.S.A.)
Rating
[?]

Book Description Springer. Condition: New. Paperback. Worldwide shipping. FREE fast shipping inside USA (express 2-3 day delivery also available). Tracking service included. Ships from United States of America. Seller Inventory # 3540590471

More information about this seller | Contact this seller

Buy New
US$ 89.54
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

8.

Ramayya Kumar
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (1995)
ISBN 10: 3540590471 ISBN 13: 9783540590477
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 1995. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9783540590477

More information about this seller | Contact this seller

Buy New
US$ 95.97
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

9.

Published by Springer
ISBN 10: 3540590471 ISBN 13: 9783540590477
New Quantity Available: 1
Seller:
Majestic Books
(London, ,, United Kingdom)
Rating
[?]

Book Description Springer. Condition: New. pp. viii + 303. Seller Inventory # 7400639

More information about this seller | Contact this seller

Buy New
US$ 97.43
Convert Currency

Add to Basket

Shipping: US$ 7.67
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

Ramayya Kumar
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (1995)
ISBN 10: 3540590471 ISBN 13: 9783540590477
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 1995. PAP. Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9783540590477

More information about this seller | Contact this seller

Buy New
US$ 94.03
Convert Currency

Add to Basket

Shipping: US$ 12.53
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book