| ||||||
*Learn more | ||||||
Formal Methods of Program Verification and Specification by Franta (1982, Hardcover)
|
Author: Franta
Publisher: Prentice Hall
Publication Date: 1982-04-01
Series: Prentice-Hall Software Series
Language: English
Format: Hardcover
ISBN-10: 0133288072
ISBN-13: 9780133288070
Product ID: EPID2520320
Portions of this page Copyright 1995 - 2010 Muze Inc. 
All rights reserved.
All rights reserved.
 About eBay | Announcements | Security Center | Policies | Government Relations | Site Map | Help | Contact us | |||
| |||
Copyright © 1995-2010 eBay Inc. All Rights Reserved. Designated trademarks and brands are the property of their respective owners. Use of this Web site constitutes acceptance of the eBay User Agreement and Privacy Policy.
| |||
