Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
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,559
Discovery Miles 15 590
Repayment Terms: R146 pm x 12*
Add to cart
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,559 Discovery Miles 15 590 | Repayment Terms: R146 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 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..

Introduction to Engineering Design (Paperback, 2nd ed.): Andrew Samuel, John Weir
Introduction to Engineering Design
Andrew Samuel, John Weir Paperback R1,614 Discovery Miles 16 140
Discovering AutoCAD 2017 (Paperback): Mark Dix, Paul Riley
Discovering AutoCAD 2017
Mark Dix, Paul Riley Paperback R2,324 Discovery Miles 23 240
Computer-Aided Design of Fluid Mixing Equipment - A Guide and Tool for Practicing Engineers (Paperback): W.Roy Penney
Computer-Aided Design of Fluid Mixing…
W.Roy Penney Paperback R3,809 Discovery Miles 38 090
Mem-elements for Neuromorphic Circuits with Artificial Intelligence Applications (Paperback): Christos Volos, Viet-Thanh Pham
Mem-elements for Neuromorphic Circuits…
Christos Volos, Viet-Thanh Pham Paperback R3,613 Discovery Miles 36 130
FreeCAD 0.20 Black Book (Hardcover, 3rd ed.): Gaurav Verma, Matt Weber
FreeCAD 0.20 Black Book
Gaurav Verma, Matt Weber Hardcover R2,171 Discovery Miles 21 710
ETABS V20 Black Book (Hardcover, 4th ed.): Gaurav Verma
ETABS V20 Black Book
Gaurav Verma Hardcover R1,793 Discovery Miles 17 930
Autodesk CFD 2023 Black Book (Hardcover, 3rd ed.): Gaurav Verma, Matt Weber
Autodesk CFD 2023 Black Book
Gaurav Verma, Matt Weber Hardcover R1,786 Discovery Miles 17 860
Mastercam 2023 for SolidWorks Black Book (Colored) (Hardcover, 4th ed.): Gaurav Verma, Matt Weber
Mastercam 2023 for SolidWorks Black Book…
Gaurav Verma, Matt Weber Hardcover R2,311 Discovery Miles 23 110
Recent Trends in Computer-aided Diagnostic Systems for Skin Diseases - Theory, Implementation, and Analysis (Paperback):...
Recent Trends in Computer-aided…
Saptarshi Chatterjee, Debangshu Dey, … Paperback R2,570 Discovery Miles 25 700
Up and Running with AutoCAD 2022 - 2D and 3D Drawing, Design and Modeling (Paperback): Elliot J. Gindis, Robert C. Kaebisch
Up and Running with AutoCAD 2022 - 2D…
Elliot J. Gindis, Robert C. Kaebisch Paperback R2,087 Discovery Miles 20 870
Creo Parametric 9.0 Black Book (Colored) (Hardcover, 6th ed.): Gaurav Verma, Matt Weber
Creo Parametric 9.0 Black Book (Colored)
Gaurav Verma, Matt Weber Hardcover R2,149 Discovery Miles 21 490
AutoCAD Electrical 2023 Black Book (Colored) (Hardcover, 8th 2023 ed.): Gaurav Verma, Matt Weber
AutoCAD Electrical 2023 Black Book…
Gaurav Verma, Matt Weber Hardcover R1,464 Discovery Miles 14 640

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners