Mein Konto
Erweiterte Suche
Categories

Grid   List

  1. Abstract State Machines, Alloy, B, VDM, and Z
    Abstract State Machines, Alloy, B, VDM, and Z
    Sarfraz Khurshid
    Springer
    Taschenbuch
    Sofort lieferbar

    This book constitutes the proceedings of the Third International Conference on Abstract State Mac...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Abstract State Machines 2003: Advances in Theory and Practice
    Abstract State Machines 2003: Advances in Theory and Practice
    Egon Börger
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the 10th International Workshop on Abstract Sta...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Logic, Computation and Rigorous Methods
    Logic, Computation and Rigorous Methods
    Alexander Raschke
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday.It ac...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Rigorous State-Based Methods
    Rigorous State-Based Methods
    Elvinia Riccobene
    Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the 10th International Conference on Rigorous S...

    80,24 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Rigorous Methods in Theory and Practice
    Rigorous Methods in Theory and Practice
    Klaus-Dieter Schewe
    Springer
    Taschenbuch
    BOD - 2 Tage

    This Festschrift is in honor of Egon Börger on the occasion of his 80th birthday. It reflects his...

    72,63 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1