All About Maude - A High-Performance Logical FrameworkManuel Clavel
All About Maude - A High-Performance Logical Framework
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln · 2007
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2007
- Language
- English
- Publisher
- Springer
- Editions
- 3
- Pages
- 797
- ISBN
- 9783540719403
Data source: Wikidata
