Grid   List

  1. Reactive Systems
    -0 %

    Reactive Systems

    Luca Aceto
    Cambridge University Press
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 106,80 €

    Jetzt 106,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. Foundations of Software Science and Computational Structures
    -0 %

    Foundations of Software Science and Computational Structures

    Luca Aceto
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 56,96 €

    Jetzt 56,95 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. Automata, Languages and Programming
    -0 %

    Automata, Languages and Programming

    Luca Aceto
    Springer Berlin
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 166,27 €

    Jetzt 154,68 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. Automata, Languages and Programming
    -0 %

    Automata, Languages and Programming

    Luca Aceto
    Springer Berlin Heidelberg
    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,65 €

    Jetzt 112,64 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  5. Models, Algorithms, Logics and Tools
    -0 %

    Models, Algorithms, Logics and Tools

    Luca Aceto
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,20 €

    Jetzt 57,19 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  1. 1