Profisuche

narciso martí oliet

Grid   List

  1. Logic, Rewriting, and Concurrency

    Logic, Rewriting, and Concurrency

    Narciso Martí-Oliet
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This Festschrift volume contains 28 refereed papers including personal memories, essays, and regu...

    53,49 €
    Alle Preise inkl. MwSt
  2. All About Maude - A High-Performance Logical Framework

    All About Maude - A High-Performance Logical Framework

    Manuel Clavel
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Maude is a language and system based on rewriting logic. In this comprehensive account, you'll di...

    96,29 €
    Alle Preise inkl. MwSt
  3. Recent Trends in Algebraic Development Techniques

    Recent Trends in Algebraic Development Techniques

    Narciso Martí-Oliet
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed post-conference proceedings of the 21st Internation...

    53,49 €
    Alle Preise inkl. MwSt
  4. Formal Methods: Foundations and Applications

    Formal Methods: Foundations and Applications

    Christiano Braga
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian S...

    42,79 €
    Alle Preise inkl. MwSt
  5. Rewriting Logic and Its Applications

    Rewriting Logic and Its Applications

    Santiago Escobar
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and...

    53,49 €
    Alle Preise inkl. MwSt
  6. Rewriting Logic and Its Applications

    Rewriting Logic and Its Applications

    Kazuhiro Ogata
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes revised selected papers from the refereed proceedings of the 15th Internati...

    62,05 €
    Alle Preise inkl. MwSt
  7. All About Maude - A High-Performance Logical Framework

    All About Maude - A High-Performance Logical Framework

    Manuel Clavel
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

    This book gives a comprehensive account of Maude, a language and system based on rewriting logic....

    96,29 €
    Alle Preise inkl. MwSt | zzgl. Versand
  8. Recent Trends in Algebraic Development Techniques

    Recent Trends in Algebraic Development Techniques

    Miguel Palomino
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15

    This book constitutes the thoroughly refereed post-conference proceedings of the 21st Internation...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  9. Formal Methods: Foundations and Applications

    Formal Methods: Foundations and Applications

    Narciso Martí-Oliet
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15

    This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilia...

    42,80 €
    Alle Preise inkl. MwSt | zzgl. Versand
  10. Logic, Rewriting, and Concurrency

    Logic, Rewriting, and Concurrency

    Narciso Martí-Oliet
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15

    This Festschrift volume contains 28 refereed papers including personal memories, essays, and regu...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  11. Rewriting Logic and Its Applications

    Rewriting Logic and Its Applications

    Narciso Martí-Oliet
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15

    This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  12. Rewriting Logic and Its Applications

    Rewriting Logic and Its Applications

    Narciso Martí-Oliet
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Bezug 11-15

    This book constitutes revised selected papers from the refereed proceedings of the 15th Intern...

    62,05 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1