Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications

    Formal Methods: Foundations and Applications

    Narciso Martí-Oliet
    Springer International Publishing, Springer International Publishing
    27.01.2015

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

    Taschenbuch
    42,80 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Rewriting Logic and Its Applications Rewriting Logic and Its Applications

    Rewriting Logic and Its Applications

    Narciso Martí-Oliet
    Springer International Publishing, Springer Nature Switzerland
    11.12.2020

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. All About Maude - A High-Performance Logical Framework All About Maude - A High-Performance Logical Framework

    All About Maude - A High-Performance Logical Framework

    Manuel Clavel
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    20.07.2007

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

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 96,29 €

    Jetzt 90,90 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Logic, Rewriting, and Concurrency Logic, Rewriting, and Concurrency

    Logic, Rewriting, and Concurrency

    Narciso Martí-Oliet
    Springer International Publishing, Springer International Publishing
    21.08.2015

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques

    Recent Trends in Algebraic Development Techniques

    Miguel Palomino
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    13.04.2013

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Rewriting Logic and Its Applications Rewriting Logic and Its Applications

    Rewriting Logic and Its Applications

    Narciso Martí-Oliet
    Springer Nature Switzerland, Springer Nature Switzerland
    02.08.2024

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

    Taschenbuch
    62,05 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Algoritmos correctos y eficientes : diseño razonado ilustrado con ejercicios Algoritmos correctos y eficientes : diseño razonado ilustrado con ejercicios

    Algoritmos correctos y eficientes : diseño razonado ilustrado con ejercicios

    Narciso Martí Oliet
    Ibergarceta Publicaciones, S.L.
    28.10.2012

    Algoritmos correctos y eficientes : diseño razonado ilustrado con ejercicios

    Taschenbuch
    39,86 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1