Erweiterte Suche

Grid  List

  1. 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

    B’98: Recent Advances in the Development and Use of the B Method

    Bert Didier
    Springer Berlin Heidelberg
    08.04.1998

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques

    Recent Trends in Algebraic Development Techniques

    Didier Bert
    Springer Berlin Heidelberg
    06.09.2000

    The algebraic approach to system speci?cation and development, born in the 1970sas a formalmethod...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. ZB 2002: Formal Specification and Development in Z and B ZB 2002: Formal Specification and Development in Z and B

    ZB 2002: Formal Specification and Development in Z and B

    Didier Bert
    Springer Berlin Heidelberg
    16.01.2002

    These proceedings record the papers presented at the second International Conference of B and Z U...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. ZB 2003: Formal Specification and Development in Z and B ZB 2003: Formal Specification and Development in Z and B

    ZB 2003: Formal Specification and Development in Z and B

    Didier Bert
    Springer Berlin Heidelberg
    20.05.2003

    The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1