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: Martin Leucker 11 träffar

Titel Författare År Språk
1 Runtime Verification - 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers David. Hutchison 2008 Engelska
2 Formal Methods Applications and Technology electronic resource - 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification Lubos. Brim 2007 Engelska
3 Theoretical Aspects of Computing - ICTAC 2009 - 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings Martin. Leucker 2009 Engelska
4 Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Lubos Brim 2007 Okänt
5 Model-Based Testing of Reactive Systems - Advanced Lectures Manfred. Broy 2005 Engelska
6 Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings 2015 Engelska
7 Model-Based Testing of Reactive Systems Manfred Broy 2005 Okänt
8 Runtime Verification Martin Leucker 2008 Okänt
9 Theoretical Aspects of Computing - ICTAC 2009 Martin Leucker 2009 Okänt
10 Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday Ezio Bartocci 2021 Okänt
11 Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings 2015 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.