*Versand Gratis
Erweiterte Suche
*Versand Gratis
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 Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    96,29 €
    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 Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    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 Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    74,89 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Recent Trends in Algebraic Development Techniques
    Recent Trends in Algebraic Development Techniques
    Didier Bert
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    96,29 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1