Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser
Udvidet returret til d. 31. januar 2025
Hjælp
Login
  1. Forside
  2. Forfattere
  3. Didier Bert

Bøger af Didier Bert

Filter
Filter
✕
Sorter efterSorter Populære
  • ZB 2002: Formal Specification and Development in Z and B af Didier Bert
    ZB 2002: Formal Specification and Development in Z and B
    - 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
    af Didier Bert
    592,95 kr.

    Se mere
  • Recent Trends in Algebraic Development Techniques af Didier Bert
    Recent Trends in Algebraic Development Techniques
    - 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers
    af Didier Bert
    588,95 kr.

    Se mere
  • ZB 2003: Formal Specification and Development in Z and B af Didier Bert
    ZB 2003: Formal Specification and Development in Z and B
    - Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
    af Didier Bert
    1.124,95 kr.

    The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.

    Se mere

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.