0
Your cart

Your cart is empty

Books > Professional & Technical > Technology: general issues > Technical design > Computer aided design (CAD)

Buy Now

Formal Methods in Computer-Aided Design - 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings (Paperback, 2002 ed.) Loot Price: R1,686
Discovery Miles 16 860
Formal Methods in Computer-Aided Design - 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002,...

Formal Methods in Computer-Aided Design - 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings (Paperback, 2002 ed.)

Mark D. Aagaard, John W. O'Leary

Series: Lecture Notes in Computer Science, 2517

 (sign in to rate)
Loot Price R1,686 Discovery Miles 16 860 | Repayment Terms: R158 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 2517
Release date: October 2002
First published: 2002
Editors: Mark D. Aagaard • John W. O'Leary
Dimensions: 235 x 155 x 21mm (L x W x T)
Format: Paperback
Pages: 408
Edition: 2002 ed.
ISBN-13: 978-3-540-00116-4
Categories: Books > Professional & Technical > Technology: general issues > Technical design > Computer aided design (CAD)
Promotions
LSN: 3-540-00116-6
Barcode: 9783540001164

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Discovering AutoCAD 2017
Mark Dix, Paul Riley Paperback R2,467 Discovery Miles 24 670
FreeCAD 0.20 Black Book
Gaurav Verma, Matt Weber Hardcover R2,350 Discovery Miles 23 500
Autodesk CFD 2023 Black Book
Gaurav Verma, Matt Weber Hardcover R1,932 Discovery Miles 19 320
ETABS V20 Black Book
Gaurav Verma Hardcover R1,939 Discovery Miles 19 390
Creo Parametric 9.0 Black Book (Colored)
Gaurav Verma, Matt Weber Hardcover R2,326 Discovery Miles 23 260
Mastercam 2023 for SolidWorks Black Book…
Gaurav Verma, Matt Weber Hardcover R2,502 Discovery Miles 25 020
Recent Trends in Computer-aided…
Saptarshi Chatterjee, Debangshu Dey, … Paperback R2,729 Discovery Miles 27 290
Computer-Aided Design of Fluid Mixing…
W.Roy Penney Paperback R4,047 Discovery Miles 40 470
Mem-elements for Neuromorphic Circuits…
Christos Volos, Viet-Thanh Pham Paperback R3,838 Discovery Miles 38 380
Autodesk Revit 2023 Black Book (Colored)
Gaurav Verma, Matt Weber Hardcover R2,061 Discovery Miles 20 610
AutoCAD Electrical 2023 Black Book…
Gaurav Verma, Matt Weber Hardcover R1,583 Discovery Miles 15 830
SolidWorks Workbook 2022 (Colored)
Gaurav Verma, Matt Weber Hardcover R1,137 Discovery Miles 11 370

See more

Partners