Grid   List

  1. Automata, Languages and Programming
    -0 %

    Automata, Languages and Programming

    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 163,14 €

    Jetzt 154,68 €
    Alle Preise inkl. MwSt
  2. Reactive Systems
    -0 %

    Reactive Systems

    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 100,88 €

    Jetzt 100,87 €
    Alle Preise inkl. MwSt
  3. Models, Algorithms, Logics and Tools
    -0 %

    Models, Algorithms, Logics and Tools

    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 56,28 €

    Jetzt 56,27 €
    Alle Preise inkl. MwSt
  4. Automata, Languages and Programming
    -0 %

    Automata, Languages and Programming

    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 112,11 €

    Jetzt 112,10 €
    Alle Preise inkl. MwSt
  5. Foundations of Software Science and Computational Structures
    -0 %

    Foundations of Software Science and Computational Structures

    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 55,67 €

    Jetzt 55,66 €
    Alle Preise inkl. MwSt
  6. Reactive Systems

    Buch
    Print on Demand

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

    124,40 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Automata, Languages and Programming

    Taschenbuch
    Print on Demand

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

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Models, Algorithms, Logics and Tools

    Taschenbuch
    Print on Demand

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Automata, Languages and Programming

    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    155,14 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Foundations of Software Science and Computational Structures

    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    84,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Reactive Systems

    Ebook
    Nicht lieferbar

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

    191,50 €
    Alle Preise inkl. MwSt
  1. 1