mehr als bücher

Grid  List

  1. Recent Trends in Algebraic Development Techniques
    Recent Trends in Algebraic Development Techniques
    Didier Bert
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    Language), CASL semantics, CASL tools, methodology, and reactive systems.

    53,49 €*
  2. 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 Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  3. ZB 2002: Formal Specification and Development in Z and B
    ZB 2002: Formal Specification and Development in Z and B
    Didier Bert
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  1. 1