Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Manuel Clavel 3 träffar

Titel Författare År Språk
1 All About Maude - A High-Performance Logical Framework electronic resource - How to Specify, Program and Verify Systems in Rewriting Logic Manuel. Clavel 2007 Engelska
2 All About Maude - A High-Performance Logical Framework Manuel Clavel 2007 Okänt
3 All About Maude - A High-Performance Logical Framework electronic resource : How to Specify, Program, and Verify Systems in Rewriting Logic / by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott Manuel. author. Clavel uuuu-uuuu Okänt

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.