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 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…
Anthony Murray, Edwin G Quattlebaum Hardcover R1,721 Discovery Miles 17 210
A Popular and Practical Introduction to…
Samuel Warren Paperback R711 Discovery Miles 7 110
Three-Edged Sword
Jeff Lindsay Paperback R450 R402 Discovery Miles 4 020
Whisper Of Death
David Lambkin Paperback R320 R295 Discovery Miles 2 950
Spies And Other Gods
James Wolff Paperback R360 Discovery Miles 3 600
The American Spy
Douglas Clark Hardcover R983 Discovery Miles 9 830
Transfers of Belonging - Child Fostering…
Erdmute Alber Paperback R2,023 Discovery Miles 20 230
Culture and Difference - Critical…
Antonia Darder Hardcover R2,808 R2,542 Discovery Miles 25 420
Un-Adoptable? - Faith Beyond Foster Care
Janelle Molony Hardcover R466 Discovery Miles 4 660
America's First Cuisines
Sophie D. Coe Paperback R895 Discovery Miles 8 950

 

Partners