Syst`emes de transitions Méthodes formelles ? Exemple Approche ...

Spécification formelle d'un logiciel = description précise mais abstraite de ...... L' opération de requête currentquery(bb) produit bb, le livre que rr est en train de ...


Un extrait du document

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