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..

Discovering AutoCAD 2017 (Paperback): Mark Dix, Paul Riley
Discovering AutoCAD 2017
Mark Dix, Paul Riley Paperback R2,324 Discovery Miles 23 240
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
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
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
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
An Introduction to ANSYS Fluent 2022 (Paperback): John E Matsson
An Introduction to ANSYS Fluent 2022
John E Matsson Paperback R2,108 Discovery Miles 21 080
Digital Control Engineering - Analysis and Design (Paperback, 3rd edition): M. Sami Fadali, Antonio Visioli
Digital Control Engineering - Analysis…
M. Sami Fadali, Antonio Visioli Paperback R2,709 Discovery Miles 27 090
Autodesk Inventor 2023 Black Book (Colored) (Hardcover, 4th 2023 ed.): Gaurav Verma, Matt Weber
Autodesk Inventor 2023 Black Book…
Gaurav Verma, Matt Weber Hardcover R2,244 Discovery Miles 22 440

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