Mein Konto
Erweiterte Suche
Categories

Grid   List

  1. ZB 2002: Formal Specification and Development in Z and B
    ZB 2002: Formal Specification and Development in Z and B
    Didier Bert
    Springer
    Taschenbuch
    BOD - 2 Tage

    Theories, Implementations, and Transformations.- Incremental Proof of the Producer Consumer Prope...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. ZB 2003: Formal Specification and Development in Z and B
    ZB 2003: Formal Specification and Development in Z and B
    Didier Bert
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Alloy: A Logical Modelling Language.- An Outline Pattern Language for Z: Five Illustrations and T...

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. B’98: Recent Advances in the Development and Use of the B Method
    B’98: Recent Advances in the Development and Use of the B Method
    Bert Didier
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book presents the refereed proceedings of the Second International B Conference, B'98, held ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Recent Trends in Algebraic Development Techniques
    Recent Trends in Algebraic Development Techniques
    Didier Bert
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Invited Topics.- A Type-Theoretic Memory Model for Verification of Sequential Java Programs.- Fro...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1