Grid  List

  1. Reactive Systems
    0 %
    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 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Automata, Languages and Programming
    0 %
    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 €Ebook
    Alle Preise inkl. MwSt
  3. Reactive Systems
    0 %
    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 €Ebook
    Alle Preise inkl. MwSt
  4. Models, Algorithms, Logics and Tools
    0 %
    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 €Ebook
    Alle Preise inkl. MwSt
  5. Automata, Languages and Programming
    0 %
    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 €Ebook
    Alle Preise inkl. MwSt
  6. Foundations of Software Science and Computational Structures
    0 %
    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 €Ebook
    Alle Preise inkl. MwSt
  7. Taschenbuch
    Print on Demand

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

    106,99 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Taschenbuch
    Print on Demand

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

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Automata, Languages and Programming
    0 %
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    Unser bisheriger Preis:ORGPRICE: 155,14 €

    Jetzt 133,73 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Foundations of Software Science and Computational Structures
    0 %
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    Unser bisheriger Preis:ORGPRICE: 84,99 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1