Buy Used and New Didier Bert Books

Zb 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 2003 Proceedings ... Finland, June 4-6, 2003, Proceedings: 2651

by Didier Bert

ISBN 13: 9783540402534

Format: Illustrated (568 pages)
Publisher: Springer
Published: 20 May 2003

Save for later

Recent Trends in Algebraic Development Techniques: 14th International Workshop, WADT '99, Chateau de Bonas, September 1999 Selected Papers (Lecture ... September 15-18, 1999 Selected Papers: 1827

by Didier Bert

ISBN 13: 9783540678984

Format: Paperback (500 pages)
Publisher: Springer
Published: 06 Sep 2000

Save for later

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: 2272 (Lecture Notes in Computer Science)

by Jonathan P. Bowen,Martin C. Henson,Ken Robinson,Didier Bert

ISBN 13: 9783540431664

Format: Illustrated (552 pages)
Publisher: Springer
Published: 16 Jan 2002

Save for later