English Books > Art > Commercial - General > 1995 Workshop on Industrial-strength Formal Specification Techniques

1995 Workshop on Industrial-strength Formal Specification Techniques
Paperback
IEEE Computer Society Press
ISBN: 0818670053
This item non-returnable. Order may not be canceled.

Thirteen papers presented at the title workshop, held in April 1995, in Boca Raton, Fla., whose objective was the analysis and synthesis of industrial applications of formal software development methods. Topics include: formal verification of the AAMP5 microprocessor; timing analysis of industrial r



SurfStoreUSA

Google
 
The NetStoreUSA website is operated by Open Communications, Inc
an Arizona corporation, which has successfully served
the Internet community since 1994.



Copyright © 2008 Open Communications, Inc
®Open Communications is a Registered Trade Mark.
This material may be freely distributed ONLY with full reference to Open Communications Inc,
including fax, phone, e-mail, and world-wide web details.
This material is an invitation to treat and not an offer.
We reserve the right to decline orders received from this site.
Prices subject to change to be advised on confirmation of order.
Not all titles listed are in print.
Home Page: http://www.NetStoreUSA.com/
Site Map