Join our mailing list!
(Your shopping cart is empty)
Diane Publishing Books
Guidelines for Formal Verification Systems
Barbara Mayer (au); Monica McGill Lu (au). Explains the requirements for formal verification systems. Primarily intended for developers of verification systems to use in the development of production-quality formal verification systems. Explains the requirements & the process used to evaluate formal verification systems. Includes: evaluation approach, methodology & system specification, & implementation & other support factors. Glossary & bibliography.
Itís Never Too Late to Get Rich: Secrets of Building a Nest Egg at Any Age
Baby Bonding: Giving Your Child a Secure Start to Life
Dried Flower Arrangerís Bible
Small Sects in America (rev. ed.)
Around the American Table: Treasured Recipes & Food Traditions from the American Cookery Collections of the New York Public Library
Share your knowledge of this product with other customers...
Be the first to write a review
Diane Publishing Co
PO Box 617
Darby, PA 19023-0617
Become an Affiliate
Send Us Feedback
Copyright ï¿½ 2004 Diane Publishing Company. All Rights Reserved.