Erweiterte Suche

Grid  List

  1. Reactive Systems Reactive Systems

    Reactive Systems

    Luca Aceto
    Cambridge University Press
    03.03.2014

    Formal methods is the term used to describe the specification and verification of software and so...

    Gebunden
    120,00 €
    Sofort lieferbar
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Automata, Languages and Programming Automata, Languages and Programming

    Automata, Languages and Programming

    Luca Aceto
    Springer Berlin Heidelberg
    24.06.2008

    The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th Inter...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Models, Algorithms, Logics and Tools Models, Algorithms, Logics and Tools

    Models, Algorithms, Logics and Tools

    Luca Aceto
    Springer International Publishing, Springer International Publishing
    25.07.2017

    This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors o...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Automata, Languages and Programming Automata, Languages and Programming

    Automata, Languages and Programming

    Luca Aceto
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    The two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th Inter...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 129,99 €

    Jetzt 106,99 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Foundations of Software Science and Computational Structures Foundations of Software Science and Computational Structures

    Foundations of Software Science and Computational Structures

    Luca Aceto
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes the refereed proceedings of the 9th International Conference on Foundations...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 84,99 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Automata, Languages and Programming Automata, Languages and Programming

    Automata, Languages and Programming

    Luca Aceto
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    The two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th Inter...

    Taschenbuch
    106,99 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Automata, Languages and Programming Automata, Languages and Programming

    Automata, Languages and Programming

    Luca Aceto
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th Inter...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 155,14 €

    Jetzt 133,74 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1