controlor à audltor / gavanou f

Public ISBD Titre : controlor à audltor Type de document : texte imprimé Auteurs : gavanou f, Auteur Editeur : Paris : Dunod Année de publication : 2006. Importance : 457.p. Présentation : couv:ill Format : 24.cm. ISBN/ISSN/EAN : 210049967x Langues : Français (fre) Tags : controlor à audltor Index. décimale : e375 Résumé : les métirs de l'audit externe et interne la profession comptable et ses diverses divreses repésentations dans le monde les organismes régulaeurs internationaux la stabilité financiére globale et la nécessaire haronistion financiér méthodologie et outils de l'audit et du contrôle les objectifs de l'audit financier contrôle et audit des opérations de croissance externe fusion et acquition influence du sens de la fusion sur la situation financier et social aprés fuis.contrô^le et audit des activés financiér:banques et assurances les différents marchés financiers contrôle et audit des régimes d'avantages sociaux,à moyen ou long terme ,et passifs conditionnels aspects comptables opérationnels stratégiques sur une base transntionale l'audit strtégique de la propiété industrielle. controlor à audltor [texte imprimé] / gavanou f, Auteur . - Paris : Dunod, 2006. . - 457.p. : couv:ill ; 24.cm. ISSN : 210049967x Langues : Français (fre) Tags : controlor à audltor Index. décimale : e375 Résumé : les métirs de l'audit externe et interne la profession comptable et ses diverses divreses repésentations dans le monde les organismes régulaeurs internationaux la stabilité financiére globale et la nécessaire haronistion financiér méthodologie et outils de l'audit et du contrôle les objectifs de l'audit financier contrôle et audit des opérations de croissance externe fusion et acquition influence du sens de la fusion sur la situation financier et social aprés fuis.contrô^le et audit des activés financiér:banques et assurances les différents marchés financiers contrôle et audit des régimes d'avantages sociaux,à moyen ou long terme ,et passifs conditionnels aspects comptables opérationnels stratégiques sur une base transntionale l'audit strtégique de la propiété industrielle.

Réservation

Réserver ce document

Exemplaires(2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
26012	E375 -05/1	Livre	Bibliothèque Centrale	Documentaires	Disponible
26013	E375-05/2	Livre	Bibliothèque Centrale	Documentaires	Disponible

model checking / grumberg orna

Public ISBD Titre : model checking Type de document : texte imprimé Auteurs : grumberg orna, Auteur Editeur : mitpress Année de publication : 1999. Importance : 314.p. Présentation : couv:ill Format : 24.cm. ISBN/ISSN/EAN : 978-0-262-03270-4 Langues : Français (fre) Tags : model checking. Index. décimale : e375 Résumé : introduction modeling systems temporal loies the comptation tree logie ctl model cheeking ctl model checking binary decision diagram representing boolean formulas sysbolic model checking fixpoint representatins model checking for the u calculus model checking in practice model checking and automata theory partial order reduction equivalences and preorders between structures compositional reasoning abstraction symmetry infinite families of finite -state systems discrete real-time and quantitative temporal analysis continuous real time conclusion. model checking [texte imprimé] / grumberg orna, Auteur . - mitpress, 1999. . - 314.p. : couv:ill ; 24.cm. ISBN : 978-0-262-03270-4 Langues : Français (fre) Tags : model checking. Index. décimale : e375 Résumé : introduction modeling systems temporal loies the comptation tree logie ctl model cheeking ctl model checking binary decision diagram representing boolean formulas sysbolic model checking fixpoint representatins model checking for the u calculus model checking in practice model checking and automata theory partial order reduction equivalences and preorders between structures compositional reasoning abstraction symmetry infinite families of finite -state systems discrete real-time and quantitative temporal analysis continuous real time conclusion.

Réservation

Réserver ce document

Exemplaires(2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
26345	E375 -06/1	Livre	Bibliothèque Centrale	Documentaires	Disponible
26346	E375 -06/2	Livre	Bibliothèque Centrale	Documentaires	Disponible