Profisuche

^^PAGEHEADLINE ^^

Grid   List

  1. Recent Trends in Algebraic Development Techniques

    Recent Trends in Algebraic Development Techniques

    Didier Bert
    Springer Verlag GmbH 06.09.2000 - 2000
    Taschenbuch - Kartoniert
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  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 08.04.1998 - 1998
    Taschenbuch - Kartoniert
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  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 16.01.2002 - 2002
    Taschenbuch - Kartoniert
    Nar: - PDesc:
    Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen

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

    52,49 €
    2,90 € Alle Preise inkl. MwSt | zzgl. Versand 2,90 €
  1. 1