share_book
Envoyer cet article par e-mail

Algorithmique - cours et exercices corrigés

ou partager sur :

share_comment
Partager ce commentaire par e-mail

ou partager sur :

PRÊT A ACHETER?
(vous pouvez toujours annuler plus tard)


J'aime
Algorithmique - cours et exercices corrigés

Algorithmique - cours et exercices corrigés

  (Auteur)


Prix : Cet article n'a pas encore de prix  ask_price

Demande de cotation sur ""
Ce titre est nouveau dans notre fonds d'ouvrages et nous ne l'avons encore jamais vendu à ce jour.
Notre engagement: Vous obtenir le meilleur prix
Aussi nombreux que soient les titres que nous référençons, absolument rien n'est automatisé dans la fixation de nos prix; et plutôt que de convertir automatiquement le prix en euros et risquer de répercuter sur vous un prix artificiellement élevé, nous vous faisons un devis rapide après avoir vérifié les prix auprès de nos différents fournisseurs.
Cette étape de demande de cotation est rapide (généralement quelques heures) et vise à vous faire bénéficier en permanence du meilleur prix pour vos achats de livres.


Sur commande

Des articles qui pourraient aussi vous intéresser

Description de "Algorithmique - cours et exercices corrigés"

« Jacques Julliand nous offre ici un ouvrage précieux qui traite de manière très pédagogique différents aspects des méthodes rigoureuses de construction de programmes » Pierre Berlioux Dans le monde de l industrie et des services, la validation et la vérification des logiciels sont aujourd hui des enjeux sécuritaires et économiques majeurs. La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui en contrôlent les fonctions motrices, tout comme la survie économique des fabricants de produits diffusés à des centaines de milliers d exemplaires serait remise en cause si le logiciel embarqué se révélait erroné et devait être remplacé. L utilisation d environnements de développement de logiciels intégrant des outils d aide à la vérification et à la validation (JAVA/JML, C#/SPEC#, C/ACSL, Atelier B, Scade, Esterel, etc.) va se généraliser et, dans cette perspective, les futurs utilisateurs devront maîtriser ces outils autant que les techniques sous-jacentes. À la base des techniques de vérification, la logique de Hoare est au coeur de cet ouvrage. On trouvera ici comment utiliser cette méthode pour vérifier et concevoir des logiciels sûrs. L auteur montre également comment modéliser des systèmes informatiques dans le paradigme logico-ensembliste, puis comment les vérifier et les tester en recourant aux outils de la méthode B. Divisé en deux parties, ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification par application des règles de la logique de Hoare. Les concepts de la méthode de vérification sont introduits en montrant les similitudes et les différences avec la méthode de test fonctionnel boîte noire. On y trouvera notamment des éléments de stratégie utilisant ces concepts pour vérifier et pour concevoir des logiciels. La seconde partie est consacrée à des questions pratiques liées à la mise en oeuvre de la méthode avec des outils Atelier B et LEIRIOS Test Generator assistant la vérification et la génération de tests. Elle inclut le langage d entrée de ces outils : la modélisation des logiciels en B. L ensemble est illustré de nombreux exercices corrigés.

Détails sur le produit

  • Reliure : Broché
  • 272  pages
  • Dimensions :  2.0cmx16.8cmx23.8cm
  • Poids : 521.6g
  • Editeur :   Vuibert Paru le
  • Collection : MATHS
  • ISBN :  2311000209
  • EAN13 :  9782311000207
  • Langue : Français

Commentaires sur cet article

Personne n'a encore laissé de commentaire. Soyez le premier!

Laisser un commentaire

Rechercher des articles similaires par rayon

Rechercher par thèmes associés

« Jacques Julliand nous offre ici un ouvrage précieux qui traite de manière très pédagogique différents aspects des méthodes rigoureuses de construction de programmes » Pierre Berlioux Dans le monde de l industrie et des services, la validation et la vérification des logiciels sont aujourd hui des enjeux sécuritaires et économiques majeurs. La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui en contrôlent les fonctions motrices, tout comme la survie économique des fabricants de produits diffusés à des centaines de milliers d exemplaires serait remise en cause si le logiciel embarqué se révélait erroné et devait être remplacé. L utilisation d environnements de développement de logiciels intégrant des outils d aide à la vérification et à la validation (JAVA/JML, C#/SPEC#, C/ACSL, Atelier B, Scade, Esterel, etc.) va se généraliser et, dans cette perspective, les futurs utilisateurs devront maîtriser ces outils autant que les techniques sous-jacentes. À la base des techniques de vérification, la logique de Hoare est au coeur de cet ouvrage. On trouvera ici comment utiliser cette méthode pour vérifier et concevoir des logiciels sûrs. L auteur montre également comment modéliser des systèmes informatiques dans le paradigme logico-ensembliste, puis comment les vérifier et les tester en recourant aux outils de la méthode B. Divisé en deux parties, ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification par application des règles de la logique de Hoare. Les concepts de la méthode de vérification sont introduits en montrant les similitudes et les différences avec la méthode de test fonctionnel boîte noire. On y trouvera notamment des éléments de stratégie utilisant ces concepts pour vérifier et pour concevoir des logiciels. La seconde partie est consacrée à des questions pratiques liées à la mise en oeuvre de la méthode avec des outils Atelier B et LEIRIOS Test Generator assistant la vérification et la génération de tests. Elle inclut le langage d entrée de ces outils : la modélisation des logiciels en B. L ensemble est illustré de nombreux exercices corrigés.