Udvidet returret til d. 31. januar 2025

Bøger af Didier Bert

Filter
Filter
Sorter efterSorter Populære
  • - 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
    af Didier Bert
    593,95 kr.

  • - 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers
    af Didier Bert
    589,95 kr.

  • - Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
    af Didier Bert
    1.125,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.

Gør som tusindvis af andre bogelskere

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