Zum Inhalt springen

  3. Aho, Alfred V. [Sonstige Person, Familie und Körperschaft]; Lam, Monica S. [Sonstige Person, Familie und Körperschaft]; Sethi, Ravi [Sonstige Person, Familie und Körperschaft]; Ullman, Jeffrey D. [Sonstige Person, Familie und Körperschaft]; Leuschel, Michael [Sonstige Person, Familie und Körperschaft]

    Compiler : Prinzipien, Techniken und Werkzeuge - [2., aktualisierte Aufl. der engl. Ausg.]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    München [u.a.]: Pearson Studium, 2008

    Erschienen in: it informatik

  4. Schmidt, Joshua [VerfasserIn] ; Leuschel, Michael [AkademischeR BetreuerIn]

    New Applications and Techniques for Constraint Programming in B

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Düsseldorf: Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, 2023

  5. Krings, Sebastian [VerfasserIn] ; Leuschel, Michael [AkademischeR BetreuerIn]

    Towards Infinite-State Symbolic Model Checking for B and Event-B

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Düsseldorf: Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, 2017

  6. Schmidt, Joshua [VerfasserIn] ; Leuschel, Michael [AkademischeR BetreuerIn]

    New Applications and Techniques for Constraint Programming in B

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Düsseldorf: Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, 2023

  7. Leuschel, Michael [Sonstige Person, Familie und Körperschaft]

    Logic Based Program Synthesis and Transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002. Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg: Springer, 2003

    Erschienen in: Lecture notes in computer science ; 266400

  8. Leuschel, Michael [VerfasserIn] ; Association for Computing Machinery, ACM Special Interest Group on Programming Languages

    Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York, NY: ACM, 2007

    Erschienen in: ACM Digital Library- ACM Conferences

  9. Leuschel, Michael [VerfasserIn] ; Association for Computing Machinery, ACM Special Interest Group on Programming Languages

    Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York, NY: ACM, 2003

    Erschienen in: ACM Digital Library- ACM Conferences

  10. Witulski, John [VerfasserIn] ; Leuschel, Michael [Sonstige Person, Familie und Körperschaft]; Schöttner, Michael [Sonstige Person, Familie und Körperschaft]

    A Python B Implementation - PyB A Second Tool-Chain

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Düsseldorf: Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, 2018

  11. Körner, Philipp [VerfasserIn] ; Leuschel, Michael [AkademischeR BetreuerIn]; Idani, Akram [Sonstige Person, Familie und Körperschaft]

    On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Düsseldorf: Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, 2023

  13. Dobrikov, Ivaylo Miroslavov [VerfasserIn] ; Leuschel, Michael [Sonstige Person, Familie und Körperschaft]; Williams, David [Sonstige Person, Familie und Körperschaft]

    Improving Explicit-State Model Checking for B and Event-B

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Düsseldorf: Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, 2018

  14. Schneider, David [VerfasserIn] ; Leuschel, Michael [AkademischeR BetreuerIn]; Ledru, Yves [Sonstige Person, Familie und Körperschaft]

    Constraint Modelling and Data Validation Using Formal Specification Languages

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Düsseldorf: Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, 2017

  15. Plagge, Daniel [VerfasserIn] ; Leuschel, Michael [AkademischeR BetreuerIn]; Denecker, Marc [AkademischeR BetreuerIn]

    Supporting Validation and Verification of State-Based Formal Models

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Düsseldorf: Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, 2016

  16. Bolz, Carl Friedrich [VerfasserIn] ; Leuschel, Michael [AkademischeR BetreuerIn]; Hirschfeld, Robert [AkademischeR BetreuerIn]

    Meta-Tracing Just-in-Time Compilation for RPython

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Düsseldorf: Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, 2014

  17. Körner, Philipp [VerfasserIn] ; Leuschel, Michael [AkademischeR BetreuerIn]; Idani, Akram [Sonstige Person, Familie und Körperschaft]

    On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Düsseldorf: Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, 2023

  20. Farwer, Berndt [VerfasserIn]; Leuschel, Michael [VerfasserIn]

    Model checking object Petri nets in Maude and Prolog

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Hamburg: Univ., Bibliothek des Fachbereichs Informatik, 2004

    Erschienen in: Universität Hamburg: Bericht ; 258