Ergebnisse filtern
Fachgebiet
Medium
  • 6
Erscheinungsjahr
  • 2
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 2
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 1
  • 5
Preis
  • 2
  • 4
Sprachen
  • 6
Verfügbarkeit
  • 6
Katalog
  • 6

EDV | Informatik

6  Treffer  für „Larsen, Kim Guldstrand“
Alle Filter löschen
    Willemse / Larsen | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Willemse / Larsen Formal Methods for Industrial Critical Systems

    24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-27007-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Groote | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Larsen / Groote Tools and Algorithms for the Construction and Analysis of Systems

    27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-72015-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Groote | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Larsen / Groote Tools and Algorithms for the Construction and Analysis of Systems

    27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-72012-4
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Wang / Sokolsky | Dependable Software Engineering. Theories, Tools, and Applications | Buch | Sack Fachmedien

    Larsen / Wang / Sokolsky Dependable Software Engineering. Theories, Tools, and Applications

    Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-69482-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    D'Souza / Larsen / Lal | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    D'Souza / Larsen / Lal Verification, Model Checking, and Abstract Interpretation

    16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-662-46080-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Srba / Potapov | Reachability Problems | Buch | Sack Fachmedien

    Larsen / Srba / Potapov Reachability Problems

    10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-45993-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular