luca aceto

Grid   List

  1. Automata, Languages and Programming
    Automata, Languages and Programming
    Luca Aceto
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    The two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Zürich, Switzerland,...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Reactive Systems
    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 software systems using mathematical logic. Various methodologies have been developed and incorporated ...
    81,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Automata, Languages and Programming
    Automata, Languages and Programming
    Luca Aceto
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    The two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Zürich, Switzerland,...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Automata, Languages and Programming
    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 International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, ...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Automata, Languages and Programming
    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 International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, ...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Models, Algorithms, Logics and Tools
    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 of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Foundations of Software Science and Computational Structures
    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 of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Reactive Systems
    Reactive Systems
    Luca Aceto
    Cambridge University Press
    Buch
    Bezug 11-15
    Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated ...
    145,20 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Automata, Languages and Programming
    Automata, Languages and Programming
    Luca Aceto
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Bezug 11-15
    The two-volume set LNCS 6755 and LNCS 6756 constitutes the refereed proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, held in Zürich, Switzerland,...
    26,95 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Models, Algorithms, Logics and Tools
    Models, Algorithms, Logics and Tools
    Luca Aceto
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decade...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Automata, Languages and Programming
    Automata, Languages and Programming
    Luca Aceto
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 16-20
    The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in Reykjavik, Iceland, ...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>