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: Michael. Leuschel 8 träffar

Titel Författare År Språk
1-2 Logic based program synthesis and transportation - 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : proceedings (flera utgåvor) Spain) LOPSTR 2002 2002 : Madrid cop. 2003 Engelska
3 Integrated Formal Methods - 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings Michael. Leuschel 2009 Engelska
4 Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers Frank S. Boer 2010 Engelska
5 Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings John. Derrick 2012 Engelska
6 Integrated Formal Methods : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings Michael Leuschel 2009 Okänt
7 Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings John Derrick 2012 Okänt
8 Rigorous State-Based Methods : 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings Silvia. Bonfanti 2024 Engelska

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.