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

Checkout
- Your Cart Price

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,686

Discovery Miles 16 860

Repayment Terms: R158 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,686 Discovery Miles 16 860 | Repayment Terms: R158 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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