All About Maude - A High-Performance Logical Framework by Francisco Duran, Manuel Clavel, Narciso Marti-oliet, Patrick Lincoln, Steven Eker (2007, Package)
|
Publisher: Springer-Verlag New York Inc
Publication Date: 2007-09-03
Series: Lecture Notes in Computer Science
Language: English
Format: Other
ISBN-10: 3540719407
ISBN-13: 9783540719403
Product ID: EPID60453833
Portions of this page Copyright 1995 - 2010 Muze Inc. 
All rights reserved.
All rights reserved.Buy this item
 About eBay | Announcements | Security Center | Resolution Center | eBay Toolbar | Policies | Government Relations | Site Map | Help | |
Copyright © 1995-2009 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.
| |
