3 Ebooks by Didier Bert
Didier Bert & Christine Choppy: Recent Trends in Algebraic Development Techniques
…
PDF
English
DRM
€58.04
Didier Bert & Jonathan P. Bowen: ZB 2003: Formal Specification and Development in Z and B
…
PDF
English
DRM
€115.04
Didier Bert & Jonathan P. Bowen: ZB 2002: Formal Specification and Development in Z and B
…
PDF
English
DRM
€57.99
