Grid   List

  1. Reactive Systems
    -0 %

    Reactive Systems

    Buch
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 120,00 €

    Jetzt 119,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. 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
  3. 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: 103,24 €

    Jetzt 103,23 €
    Alle Preise inkl. MwSt
  4. 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: 57,19 €

    Jetzt 57,18 €
    Alle Preise inkl. MwSt
  5. 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: 113,51 €

    Jetzt 113,50 €
    Alle Preise inkl. MwSt
  6. 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: 58,12 €

    Jetzt 58,11 €
    Alle Preise inkl. MwSt
  1. 1