*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Semantics of Specification Languages (SoSL)
    Semantics of Specification Languages (SoSL)
    Derek J. Andrews
    Springer London
    Taschenbuch
    Print on Demand

    SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-2...

    85,55 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. CONCUR ’91
    CONCUR ’91
    Jan F. Groote
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    CONCUR'91 is the second international conference onconcurrency theory, organized in associati...

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Grammar
    Formal Grammar
    Mark-Jan Nederhof
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 15th and 16th International Conference on F...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Typed Lambda Calculi and Applications
    Typed Lambda Calculi and Applications
    Jan F. Groote
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    The lambda calculus was developed in the 1930s by AlonzoChurch. Thecalculus turned out to...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Kim Guldstrand Larsen
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This open access two-volume set constitutes the proceedings of the 27th International Conference ...

    44,78 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Kim Guldstrand Larsen
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This open access two-volume set constitutes the proceedings of the 27th International Conference ...

    44,78 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Understanding Behaviour of Distributed Systems Using mCRL2
    Understanding Behaviour of Distributed Systems Using mCRL2
    Jan Friso Groote
    Springer International Publishing
    Buch
    Print on Demand

    This book helps readers easily learn basic model checking by presenting examples, exercises and c...

    184,02 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Tales of Electrologica
    Tales of Electrologica
    Jan Friso Groote
    Springer International Publishing
    Buch
    Print on Demand

    Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the ...

    38,13 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Marieke Huisman
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 27th International Conference on Formal Methods for ...

    75,61 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Tales of Electrologica
    Tales of Electrologica
    Jan Friso Groote
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the ...

    37,44 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Understanding Behaviour of Distributed Systems Using mCRL2
    Understanding Behaviour of Distributed Systems Using mCRL2
    Jan Friso Groote
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    This book helps readers easily learn basic model checking by presenting examples, exercises and c...

    181,89 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1