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 pa...

    53,49 €
    Alle Preise inkl. MwSt
    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 rewriti...

    96,29 €
    Alle Preise inkl. MwSt
    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 p...

    53,49 €
    Alle Preise inkl. MwSt
    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 p...

    42,79 €
    Alle Preise inkl. MwSt
    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 ...

    53,49 €
    Alle Preise inkl. MwSt
    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 f...

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

    All About Maude - A High-Performance Logical Framework

    Manuel Clavel
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book gives a comprehensive account of Maud...

    90,90 €
    Alle Preise inkl. MwSt | zzgl. Versand
    Zum Merkzettel
  8. Formal Methods: Foundations and Applications

    Formal Methods: Foundations and Applications

    Narciso Martí-Oliet
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the thoroughly refereed p...

    42,80 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  9. Logic, Rewriting, and Concurrency

    Logic, Rewriting, and Concurrency

    Narciso Martí-Oliet
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This Festschrift volume contains 28 refereed pa...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  10. Recent Trends in Algebraic Development Techniques

    Recent Trends in Algebraic Development Techniques

    Miguel Palomino
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the thoroughly refereed p...

    64,20 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  11. Rewriting Logic and Its Applications

    Rewriting Logic and Its Applications

    Narciso Martí-Oliet
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes selected papers from the ...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  12. Rewriting Logic and Its Applications

    Rewriting Logic and Its Applications

    Narciso Martí-Oliet
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes revised selected papers f...

    62,05 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
  2. 2
Google Plus
Powered by Inooga