| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic | 978-3-540-71940-3 | 2007 | Manuel Clavel · Francisco Durán · Steven Eker · Patrick Lincoln · José Meseguer · Carolyn Talcott |
| Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings | 978-3-319-15074-1 | 2015 | Christiano Braga |
| Introducción a la computación. | 978-84-667-5152-0 | 2006 | Miguel Palomino Tarjuelo · José Alberto Verdejo López |
| Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday | 978-3-319-23164-8 | 2015 | Peter Csaba Ölveczky · Carolyn Talcott |
| Matemática discreta para informáticos | 978-84-8322-394-9 | 2007 | Narciso Marti Oliet |
| Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers | 978-3-642-37634-4 | 2013 | Miguel Palomino |