Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

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
R1,686 Discovery Miles 16 860
Add to cart
Ships in 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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Rapid Craft Glue Gun Sticks (125g - Approx 50 Glue Sticks):
Rapid Craft Glue Gun Sticks (125g…
R751 Discovery Miles 7 510
Geometry and Topology of Manifolds - 10th China-Japan Conference 2014 (Hardcover, 1st ed. 2016): Akito Futaki, Reiko Miyaoka,...
Geometry and Topology of Manifolds…
Akito Futaki, Reiko Miyaoka, … Hardcover R3,682 Discovery Miles 36 820
Reverse Your Diabetes - The Step-by-Step Plan to Take Control of Type 2 Diabetes (Paperback): David Cavan
Reverse Your Diabetes - The Step-by-Step…
David Cavan Paperback  (1)
 R574 R513 Discovery Miles 5 130
Elmer's Clear Glue in Bottle (946ml):
Elmer's Clear Glue in Bottle (946ml)
 (1)
 R380 Discovery Miles 3 800
Now You Know How Mapetla Died - The Story Of A Black Consciousness Martyr (Paperback): Zikhona Valela
Now You Know How Mapetla Died - The…
Zikhona Valela Paperback R350 R328 Discovery Miles 3 280
Croxley Create Glue Sticks (36g)(3 Pack):
Croxley Create Glue Sticks (36g)(3 Pack)
R89 Discovery Miles 890
Hitmen For Hire - Exposing South Africa's Underworld (Paperback): Mark Shaw
Hitmen For Hire - Exposing South…
Mark Shaw Paperback  (2)
 R295 R264 Discovery Miles 2 640
Reading Goethe at Midlife - Ancient Wisdom, German Classicism, and Jung [ZLS Edition] (Hardcover): Paul Bishop
Reading Goethe at Midlife - Ancient…
Paul Bishop Hardcover R1,116 Discovery Miles 11 160
A Radical Awakening - Turn Pain into Power, Embrace Your Truth, Live Free (Paperback): Shefali Tsabary
A Radical Awakening - Turn Pain into…
Shefali Tsabary Paperback  (7)
 R470 R419 Discovery Miles 4 190
Hagitude - Reimagining the Second Half of Life (Paperback): Sharon Blackie
Hagitude - Reimagining the Second Half…
Sharon Blackie Paperback R481 R450 Discovery Miles 4 500

 
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