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 regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 discover how Maude and its formal tool environment can be used in three mutually reinforcing ways: as ...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September October 2014.
    42,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembour...
    62,05 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and ...
    96,29 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September October 2014. ...
    42,80 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020.Due to the COVID-19 pandemic...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxemb...
    62,05 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>