Spécifications Formelles, M1 2012-2013 - Laboratoire IBISC

19 déc. 2005 ... IFT734: Méthodes formelles de spécification .... On désire qu'un livre puisse être prêté plusieurs fois au cours de sa vie; un prêt peut être.


Un extrait du document

Top Livres   ||   De A a Z   || De Z a A