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: 115,30 €

    Jetzt 115,29 €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,60 €

    Jetzt 103,59 €Ebook
    Alle Preise inkl. MwSt
  4. 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
  5. 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,78 €

    Jetzt 57,77 €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: 57,47 €

    Jetzt 57,46 €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