All About Maude - A High-Performance Logical Framework
de Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott
de Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott
Springer London, Limited · inglés · ISBN 9783540719991
Springer · inglés · ISBN 9783540719403
