Opérations de transport La logistique des Transports

24 oct. 2008 ... Le livre [1] (en français) est plus orienté pratique que le précédent. ... Quand `a [4 ], il traite du model checking par automate de LTL et surtout de ...


Un extrait du document

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