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 - First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8,... Formal Methods in Computer-Aided Design - First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings (Paperback, 1996 ed.)
Mandayam Srivas, Albert Camilleri
R1,597 Discovery Miles 15 970
Add to cart
Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in November 1996.
The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including verification, synthesis, and testing.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Justice Holmes - The Measure of His Thought (Hardcover): Anthony Murray, Edwin G Quattlebaum
Justice Holmes - The Measure of His…
Anthony Murray, Edwin G Quattlebaum Hardcover R1,721 Discovery Miles 17 210
A Popular and Practical Introduction to Law Studies (Paperback): Samuel Warren
A Popular and Practical Introduction to…
Samuel Warren Paperback R711 Discovery Miles 7 110
Three-Edged Sword (Paperback): Jeff Lindsay
Three-Edged Sword
Jeff Lindsay Paperback R450 R402 Discovery Miles 4 020
Whisper Of Death (Paperback): David Lambkin
Whisper Of Death
David Lambkin Paperback R320 R295 Discovery Miles 2 950
Spies And Other Gods (Paperback): James Wolff
Spies And Other Gods
James Wolff Paperback R360 Discovery Miles 3 600
The American Spy (Hardcover): Douglas Clark
The American Spy
Douglas Clark Hardcover R983 Discovery Miles 9 830
Transfers of Belonging - Child Fostering in West Africa in the 20th Century (Paperback): Erdmute Alber
Transfers of Belonging - Child Fostering…
Erdmute Alber Paperback R2,023 Discovery Miles 20 230
Culture and Difference - Critical Perspectives on the Bicultural Experience in the United States (Hardcover): Antonia Darder
Culture and Difference - Critical…
Antonia Darder Hardcover R2,808 R2,542 Discovery Miles 25 420
Un-Adoptable? - Faith Beyond Foster Care (Hardcover): Janelle Molony
Un-Adoptable? - Faith Beyond Foster Care
Janelle Molony Hardcover R466 Discovery Miles 4 660
America's First Cuisines (Paperback, New): Sophie D. Coe
America's First Cuisines
Sophie D. Coe Paperback R895 Discovery Miles 8 950

 
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