AboutSign inJoin

Didier Bert

About

Some information is missing for this author.

Books

Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
Christine Choppy, Didier Bert, Peter Mosses
ZB 2002: Formal Specification and Development in Z and B
ZB 2002: Formal Specification and Development in Z and B
Ken Robinson, Jonathan P. Bowen, Didier Bert, Martin C. Henson
ZB 2003: Formal Specification and Development in Z and B
ZB 2003: Formal Specification and Development in Z and B
Steve King, Jonathan P. Bowen, Didier Bert, Marina Waldén

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian