Items related to Correct Hardware Design and Verification Methods: IFIP...
Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings (Lecture Notes in Computer Science, 987) - Softcover
Synopsis
This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARME '95, held in Frankfurt, Germany, in October 1995.
The 20 revised full papers presented were carefully selected by the program committee and address all current aspects of research and advanced applications in the field of formal verification of hardware. Among the topics covered are model checking, theorem proving, formally verified synthesis, process algebras, finite state systems, verification environments, language containment, and VHDL.
"synopsis" may belong to another edition of this title.
Search results for Correct Hardware Design and Verification Methods: IFIP...
Stock Image
Correct Hardware Design and Verification Methods (Paperback)
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1995
ISBN 10: 3540603859
ISBN 13: 9783540603856
New
Paperback
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the IFIP WG10. 5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARME '95, held in Frankfurt, Germany, in October 1995. The 20 revised full papers presented were carefully selected by the program committee and address all current aspects of research and advanced applications in the field of formal verification of hardware. Among the topics covered are model checking, theorem proving, formally verified synthesis, process algebras, finite state systems, verification environments, language containment, and VHDL. The proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies. This volume covers model checking, theorem proving, formally verified synthesis, process algebras, finite state systems, verification environments, language containment and VHDL. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783540603856
Quantity: 1 available
Seller Image
Correct Hardware Design and Verification Methods : Ifip Wg 10.5 Advanced Research Working Conference, Charme '95, Frankfurt/Main, Germany, October 2-4, 1995 : Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5905820-n
Quantity: 15 available
Stock Image
Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings (Lecture Notes in Computer Science, 987)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020171947
Quantity: Over 20 available
Stock Image
Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings (Lecture Notes in Computer Science, 987)
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783540603856
Quantity: 2 available
Seller Image
Correct Hardware Design and Verification Methods : Ifip Wg 10.5 Advanced Research Working Conference, Charme '95, Frankfurt/Main, Germany, October 2-4, 1995 : Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5905820
Quantity: 15 available
Seller Image
Correct hardware design and verification methods : IFIP WG 10.5 advanced research working conference ; proceedings. CHARME '95, Frankfurt/Main, Germany, October 2 - 4, 1995. Paolo E. Camurati ; Hans Eveking (ed.) / Lecture notes in computer science ; Vol. 987
Published by
Berlin ; Heidelberg ; Singapore ; Tokyo ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Santa Clara : Springer, 1995
ISBN 10: 3540603859
ISBN 13: 9783540603856
Used
kart.
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
kart. Condition: Gut. 1995. VIII, 342 S. : graph. Darst. ; 24 cm Sprache: Deutsch Gewicht in Gramm: 469. Seller Inventory # 456448
Quantity: 1 available
Stock Image
Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings (Lecture Notes in Computer Science, 987)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540603856_new
Quantity: Over 20 available
Stock Image
Correct Hardware Design and Verification Methods
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 360. Seller Inventory # 263067811
Quantity: 1 available
Stock Image
Correct Hardware Design and Verification Methods : IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Pro
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540603856
Quantity: 10 available
Stock Image
Correct Hardware Design and Verification Methods
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 360 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 # 5861500
Quantity: 1 available