The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Didier Bert Books

Results for Didier Bert

Showing 1 to 3 of 3 results
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 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

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

 
New : $114.31  
New : $114.31
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 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

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

 
New : $98.74  
New : $98.74
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) 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

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

 
New : $98.74  
New : $98.74