Matches in DBpedia 2015-10 for { <http://books.google.com/books?vid=ISBN978-3-540-71940-3> ?p ?o }
Showing triples 1 to 6 of
6
with 100 triples per page.
- books?vid=ISBN978-3-540-71940-3 author "Clavel, Durán, Eker, Lincoln, Martí-Oliet, Meseguer and Talcott".
- books?vid=ISBN978-3-540-71940-3 isCitedBy Maude_system.
- books?vid=ISBN978-3-540-71940-3 isbn "978-3-540-71940-3".
- books?vid=ISBN978-3-540-71940-3 publisher "Springer".
- books?vid=ISBN978-3-540-71940-3 title "All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic".
- books?vid=ISBN978-3-540-71940-3 year "2007".