Items related to Formal Methods in Computer-Aided Design: Second Internationa...

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) - Softcover

 
9783540651918: 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)

Synopsis

This volumecontains the proceedingsof the Second InternationalConferenceon Formal Methods in Computer-Aided Design (FMCAD'98), organized November 4-6, in Palo Alto, California, USA. The rst event of this series was organized byMandayamSrivasand Albert Camilleriin 1996 inPaloAlto. FMCAD, which evolved from the series Theorem Provers in Circuit Design (TPCD), strives to beapremierforumfordisseminatingresearchinFormalVeri cation(FV) me- ods for digital circuits and systems, including processors, custom VLSI circuits, microcode, andreactivesoftware.Inadditiontosigni cantcase-studiesandve- cationapproaches, FMCADalsoendeavorstorepresentadvancesinthedriving technologies for veri cation, including binary decision diagrams, model che- ing, symbolicreasoning(theorem proving), symbolicsimulation, andabstraction methods. Theconferenceincludedfourinvitedlectures.Theinvitedlecturesweregiven by Kenneth McMillan (Cadence Berkeley Labs) on Minimalist proof assistants: interactions of technology and methodology in formal system level veric ation, by Carl-Johan Seger on Formal methods in CAD from an industrial perspective, by Randal E. Bryant and Bwolen Yang on A performance study of BDD-based model checking, and by Amir Pnueli on Veric ation of data-insensitive circuits: an in-order-retirement case study. Of the 55 regular paper submissionsreceived, 27 were selected by the technical program committee for presentation at the conference. All four tools papers received were also selected. We gratefully acknowledge the services of the technical program comm- tee of FMCAD'98, which consisted of Adnan Aziz (Univ. of Texas at Austin, USA), AlanHu(Univ.ofBritishColumbia, Canada), Albert Camilleri(Hewlett- Packard, USA), CarlPixley(Motorola, USA), CarlosDelgadoKloos (Univ. C- los III de Madrid, Spain), Ching-TsunChou (Intel, USA), EduardCerny (Univ.

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

Buy Used

Condition: Very Good
Ex-library paperback in very nice...
View this item

US$ 6.99 shipping within U.S.A.

Destination, rates & speeds

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  3662204681 ISBN 13:  9783662204689
Publisher: Springer, 2014
Softcover

Search results for Formal Methods in Computer-Aided Design: Second Internationa...

Stock Image

Gopalakrishnan, Ganesh [Editor]; Windley, Phillip [Editor];
Published by Springer, 1998
ISBN 10: 3540651918 ISBN 13: 9783540651918
Used Paperback

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

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # UTD14a2044

Contact seller

Buy Used

US$ 29.94
Convert currency
Shipping: US$ 6.99
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 1998
ISBN 10: 3540651918 ISBN 13: 9783540651918
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 548. Seller Inventory # 263073425

Contact seller

Buy New

US$ 50.46
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 1998
ISBN 10: 3540651918 ISBN 13: 9783540651918
New Softcover

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. pp. 548 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5855822

Contact seller

Buy New

US$ 48.99
Convert currency
Shipping: US$ 8.74
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Gopalakrishnan, Ganesh (EDT); Windley, Phillip (EDT)
Published by Springer, 1998
ISBN 10: 3540651918 ISBN 13: 9783540651918
New Softcover

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

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 918111-n

Contact seller

Buy New

US$ 60.32
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 1998
ISBN 10: 3540651918 ISBN 13: 9783540651918
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020173664

Contact seller

Buy New

US$ 60.00
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Windley Phillip Gopalakrishnan Ganesh
Published by Springer, 1998
ISBN 10: 3540651918 ISBN 13: 9783540651918
New Softcover

Seller: Biblios, Frankfurt am main, HESSE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. pp. 548. Seller Inventory # 183073435

Contact seller

Buy New

US$ 53.38
Convert currency
Shipping: US$ 11.60
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Gopalakrishnan, Ganesh (EDT); Windley, Phillip (EDT)
Published by Springer, 1998
ISBN 10: 3540651918 ISBN 13: 9783540651918
Used Softcover

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

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 918111

Contact seller

Buy Used

US$ 69.77
Convert currency
Shipping: US$ 2.64
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 1998
ISBN 10: 3540651918 ISBN 13: 9783540651918
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783540651918_new

Contact seller

Buy New

US$ 68.01
Convert currency
Shipping: US$ 16.10
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Gopalakrishnan, Ganesh (EDT); Windley, Phillip (EDT)
Published by Springer, 1998
ISBN 10: 3540651918 ISBN 13: 9783540651918
New Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 918111-n

Contact seller

Buy New

US$ 64.65
Convert currency
Shipping: US$ 20.16
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Gopalakrishnan, Ganesh
Published by Springer 1998-10, 1998
ISBN 10: 3540651918 ISBN 13: 9783540651918
New PF

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

PF. Condition: New. Seller Inventory # 6666-IUK-9783540651918

Contact seller

Buy New

US$ 66.53
Convert currency
Shipping: US$ 20.82
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 10 available

Add to basket

There are 6 more copies of this book

View all search results for this book