Grid   List

  1. 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
    Ebook
    Sofort lieferbar

    The refereed proceedings of the Third Internati...

    96,29 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Recent Trends in Algebraic Development Techniques

    Recent Trends in Algebraic Development Techniques

    Didier Bert
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed p...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. 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
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. 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 ...

    74,89 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  5. 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, methodol...

    96,29 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  6. 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 a...

    96,29 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  7. 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 Internati...

    106,99 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
Google Plus
Powered by Inooga