*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Formal Methods for Open Object-Based Distributed Systems IV
    Formal Methods for Open Object-Based Distributed Systems IV
    Carolyn L. Talcott
    Springer
    Taschenbuch
    BOD - 2 Tage

    Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fiel...

    216,15 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Logic, Rewriting, and Concurrency
    Logic, Rewriting, and Concurrency
    Carolyn Talcott
    Palgrave Macmillan
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Coordination Models and Languages
    Coordination Models and Languages
    Farhad Arbab
    Springer, Springer Gabler
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Logic, Language, and Security
    Logic, Language, and Security
    Stepan Kuznetsov
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    64,19 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Composing Model-Based Analysis Tools
    Composing Model-Based Analysis Tools
    Carolyn Talcott
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    110,35 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Rebeca for Actor Analysis in Action
    Rebeca for Actor Analysis in Action
    Edward A. Lee
    Springer
    Taschenbuch
    BOD - 2 Tage

    This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includ...

    80,24 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Composing Model-Based Analysis Tools
    Composing Model-Based Analysis Tools
    Carolyn Talcott
    Springer
    Buch
    BOD - 7 Tage

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

    149,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1