Erweiterte Suche

Grid  List

  1. Formal Methods for Open Object-Based Distributed Systems IV Formal Methods for Open Object-Based Distributed Systems IV

    Formal Methods for Open Object-Based Distributed Systems IV

    Carolyn L. Talcott
    Springer US
    01.08.2012

    Formal Methods for Open Object-Based Distributed SystemsIV presents the leading edge in the field...

    Taschenbuch
    213,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. 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
  3. 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
  4. Coordination Models and Languages Coordination Models and Languages

    Coordination Models and Languages

    Carolyn Talcott
    Springer Berlin Heidelberg
    27.03.2002

    This volume contains the proceedings of the Fifth International Conference on Coordination Models...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Logic, Language, and Security Logic, Language, and Security

    Logic, Language, and Security

    Vivek Nigam
    Springer International Publishing, Springer Nature Switzerland
    29.10.2020

    This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. Th...

    Taschenbuch
    64,19 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Composing Model-Based Analysis Tools Composing Model-Based Analysis Tools

    Composing Model-Based Analysis Tools

    Robert Heinrich
    Springer International Publishing
    03.12.2021

    This book presents joint works of members of the software engineering and formal methods communit...

    Gebunden
    149,79 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Composing Model-Based Analysis Tools Composing Model-Based Analysis Tools

    Composing Model-Based Analysis Tools

    Robert Heinrich
    Springer International Publishing, Springer Nature Switzerland
    04.12.2022

    This book presents joint works of members of the software engineering and formal methods communit...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Formal Methods for Open Object-Based Distributed Systems IV Formal Methods for Open Object-Based Distributed Systems IV

    Formal Methods for Open Object-Based Distributed Systems IV

    Scott F Smith
    Springer Us
    31.08.2000

    Formal Methods for Open Object-Based Distributed SystemsIV presents the leading edge in the field...

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 236,50 €

    Jetzt 213,99 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1