Extra Materials - supplementing your reading experienceSpringer.com | SpringerLink.com
Springer

Displaying ISBN 978-3-540-71940-3

Book Cover All About Maude — A High-Performance Logical Framework
Authors:Manuel Clavel et al
PublisherSpringer Berlin Heidelberg
Copyright2007
ISBN(Online)978-3-540-71999-1
ISBN(Print)978-3-540-71940-3