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: Markus. Müller-Olm 15 träffar

Titel Författare År Språk
1 Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings 2018 Engelska
2 Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings 2018 Okänt
3 Verification, Model Checking, and Abstract Interpretation - 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings Neil D. Jones 2009 Engelska
4-5 Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (flera utgåvor) Markus Müller-Olm uuuu-uuuu Okänt
6 Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings Markus Müller-Olm 2014 Okänt
7 Variations on Constants Markus Müller-Olm 2006 Okänt
8 Modular Compiler Verification electronic resource : A Refinement-Algebraic Approach Advocating Stepwise Abstraction / by Markus Müller-Olm Markus. author. Müller-Olm uuuu-uuuu Okänt
9 Variations on Constants electronic resource : Flow Analysis of Sequential and Parallel Programs / by Markus Müller-Olm Markus. author. Müller-Olm uuuu-uuuu Okänt
10-11 Modular compiler verification - a refinement-algebraic approach advocating stepwise abstraction (flera utgåvor) Markus Müller-Olm cop. 1997 Engelska
12 Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings Markus. Müller-Olm 2014 Engelska
13 Variations on Constants electronic resource - Flow Analysis of Sequential and Parallel Programs Markus. Müller-Olm 2006 Engelska
14 Variations on constants : flow analysis of sequential and parallel programs Markus Müller-Olm 2006 Okänt
15 Verification, Model Checking, and Abstract Interpretation Neil Jones 2009 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.