Thursday, October 6, 2011

Tutorial on the Event-Based B Method

http://www.needocs.com/document/academique-cours-mathematiques-tutorial-on-the-event-based-b-method,9034

tutorial de Dominique Cansell, Dominique Méry

No comments: