Cours Et Exercices D'algorithmique - Vérifier, Tester Et Concevoir Des Programmes En
Les Modélisant, Licence Et Master D'informatique
Comparez toutes les offres
Meilleur prix: € 21,88 (à partir de 07-11-2017)1
Jacques Julliandsearch
Algorithmique cours et exercices corrigés (2010)search
FR NWISBN: 9782311000207search ou 2311000209, en français, 272 pages, VUIBERT, Nouveau.
Habituellement expédié sous 24 h, Livraison gratuite.
Du vendeur/antiquaire, Amazon.fr.
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 validait : (JAVA/JML, C#ISPEC#, 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. A la base des techniques de vérification, la logique de Hoare est au cœur 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 Iogico-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 œuvre 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 c, Broché, Étiquette: VUIBERT, VUIBERT, Groupe de produits: Book, Publié: 2010-02-15, Studio: VUIBERT, Vente de rang: 452913.
Du vendeur/antiquaire, Amazon.fr.
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 validait : (JAVA/JML, C#ISPEC#, 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. A la base des techniques de vérification, la logique de Hoare est au cœur 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 Iogico-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 œuvre 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 c, Broché, Étiquette: VUIBERT, VUIBERT, Groupe de produits: Book, Publié: 2010-02-15, Studio: VUIBERT, Vente de rang: 452913.
Numéro de commande de plate-forme Amazon.fr: HcWBnYgmfgnHQIweW3ypgGAaZlqdAX I%2F8gUXVlZMczXui0GSr2KXxd6UVy q8yuSQxOOUAI5n%2B1H5ezYL821B%2 Bc9uZt654QAvYtwFdeJEirA%3D
Mots-clés: Livres, Informatique et Internet, Programmation et langages, Algorithmique, BTS, Brevets d'état, CNAM et filières professionnelles, Classes préparatoires et grandes écoles, Collections de A à Z, DUT, Examens et concours, Français langue étrangère (FLE), Pédagogie et orientation, Université, Etudes supérieures
Données de 07-11-2017 02:12h
ISBN (notations alternatives): 2-311-00020-9, 978-2-311-00020-7
Mots-clés: Livres, Informatique et Internet, Programmation et langages, Algorithmique, BTS, Brevets d'état, CNAM et filières professionnelles, Classes préparatoires et grandes écoles, Collections de A à Z, DUT, Examens et concours, Français langue étrangère (FLE), Pédagogie et orientation, Université, Etudes supérieures
Données de 07-11-2017 02:12h
ISBN (notations alternatives): 2-311-00020-9, 978-2-311-00020-7
2
Jacques Julliandsearch
Algorithmique cours et exercices corrigés (2010)search
FR USISBN: 9782311000207search ou 2311000209, en français, 272 pages, VUIBERT, Utilisé.
Expédition sous 1 à 2 jours ouvrés, Frais d’expédition réels peuvent différer.
Du vendeur/antiquaire, monde_de_kamelia.
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 validait : (JAVA/JML, C#ISPEC#, 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. A la base des techniques de vérification, la logique de Hoare est au cœur 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 Iogico-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 œuvre 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 c, Broché, Étiquette: VUIBERT, VUIBERT, Groupe de produits: Book, Publié: 2010-02-15, Studio: VUIBERT, Vente de rang: 452913.
Du vendeur/antiquaire, monde_de_kamelia.
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 validait : (JAVA/JML, C#ISPEC#, 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. A la base des techniques de vérification, la logique de Hoare est au cœur 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 Iogico-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 œuvre 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 c, Broché, Étiquette: VUIBERT, VUIBERT, Groupe de produits: Book, Publié: 2010-02-15, Studio: VUIBERT, Vente de rang: 452913.
Numéro de commande de plate-forme Amazon.fr: HcWBnYgmfgnHQIweW3ypgGAaZlqdAX I%2FPH18XPEiLcTyyucWyRPTXnf4AT AB2E6s2WEscWjipE2qfBkb%2F%2FW% 2Bb%2FpJSLQwAbZc9hQ%2BJAGNil7z qoskhp5KSPtx2pL4Ea4GukaGBjgGEL f3kcCQYUtYXUgaEGqx1gvV
Mots-clés: Livres, Informatique et Internet, Programmation et langages, Algorithmique, BTS, Brevets d'état, CNAM et filières professionnelles, Classes préparatoires et grandes écoles, Collections de A à Z, DUT, Examens et concours, Français langue étrangère (FLE), Pédagogie et orientation, Université, Etudes supérieures
Données de 07-11-2017 02:12h
ISBN (notations alternatives): 2-311-00020-9, 978-2-311-00020-7
Mots-clés: Livres, Informatique et Internet, Programmation et langages, Algorithmique, BTS, Brevets d'état, CNAM et filières professionnelles, Classes préparatoires et grandes écoles, Collections de A à Z, DUT, Examens et concours, Français langue étrangère (FLE), Pédagogie et orientation, Université, Etudes supérieures
Données de 07-11-2017 02:12h
ISBN (notations alternatives): 2-311-00020-9, 978-2-311-00020-7
3
Jacques Julliandsearch
Cours Et Exercices D algorithmique Vérifier Tester Et Concevoir Des Programmes En Les Modélisant Licence Et Master D informatique (2010)search
FR USISBN: 9782311000207search ou 2311000209, en français, Utilisé.
Livraison sous 3 a 5 jours.
Du vendeur/antiquaire.
Description de faible qualité ou de langue étrangère. Montrez-le
Du vendeur/antiquaire.
Description de faible qualité ou de langue étrangère. Montrez-le
Numéro de commande de plate-forme Priceminister.com (Oth.): 95773859
Catégorie: Livres, Informatique-Internet, Livres sur ALGORITHMES
Mots-clés: Livre
Données de 07-11-2017 02:11h
ISBN (notations alternatives): 2-311-00020-9, 978-2-311-00020-7
Catégorie: Livres, Informatique-Internet, Livres sur ALGORITHMES
Mots-clés: Livre
Données de 07-11-2017 02:11h
ISBN (notations alternatives): 2-311-00020-9, 978-2-311-00020-7
4
Julliand J search
cours et exercices corrigÉs d algorithmique Vérifier tester et concevoir des programmes en les modélisant (2010)search
FR PB NWISBN: 9782311000207search ou 2311000209, en français, 272 pages, vuibert, Livre de poche, Nouveau.
€ 44,79 (C$ 66,23)¹ thumbs_up_down + Expédition à la France: € 10,13 (C$ 14,98)¹ = € 54,92 (C$ 81,21)¹
sans obligation
sans obligation
Usually ships within 1 - 2 business days, Frais d’expédition réels peuvent différer.
Du vendeur/antiquaire, thebookcommunity_ca.
Description de faible qualité ou de langue étrangère. Montrez-le
Du vendeur/antiquaire, thebookcommunity_ca.
Description de faible qualité ou de langue étrangère. Montrez-le
Numéro de commande de plate-forme Amazon.ca: 8z5gY%2F0voCzCOzdtq04nU162PGcX p9VKuWlpWGXtIcNnMT75yudhDWtRqq X7xeJnwvTN9XDN9D9CQN6J7%2B1tZb nbm0zhIKQpye0lpChcFUfGxL7%2Bdu V7bzg4JwzBNT0pCISOhtOUpZlwb2L7 %2BbkUFA%3D%3D
Mots-clés: Livres, Informatique et Internet, Programmation et langages, Algorithmique, Mathématiques, Algèbre, Algèbre linéaire, Analyse, Calcul différentiel, Calcul intégral, Concours et examens, Fourier - Laplace, Fractales, Graphes - Optimisation combinatoire, Géometrie et Trigonométrie, Logique, Ondelettes, Probabilités, Signal, Statistiques, Systèmes dynamiques, Théorie des ensembles, Topologie, Sciences, Techniques et Médecine
Données de 07-11-2017 02:12h
ISBN (notations alternatives): 2-311-00020-9, 978-2-311-00020-7
Mots-clés: Livres, Informatique et Internet, Programmation et langages, Algorithmique, Mathématiques, Algèbre, Algèbre linéaire, Analyse, Calcul différentiel, Calcul intégral, Concours et examens, Fourier - Laplace, Fractales, Graphes - Optimisation combinatoire, Géometrie et Trigonométrie, Logique, Ondelettes, Probabilités, Signal, Statistiques, Systèmes dynamiques, Théorie des ensembles, Topologie, Sciences, Techniques et Médecine
Données de 07-11-2017 02:12h
ISBN (notations alternatives): 2-311-00020-9, 978-2-311-00020-7
5
Julliand J search
cours et exercices corrigÉs d algorithmique Vérifier tester et concevoir des programmes en les modélisant (2010)search
FR PB USISBN: 9782311000207search ou 2311000209, en français, 272 pages, vuibert, Livre de poche, Utilisé.
€ 38,99 (C$ 57,65)¹ thumb_down + Expédition à la France: € 10,13 (C$ 14,98)¹ = € 49,12 (C$ 72,63)¹
sans obligation
sans obligation
Usually ships within 1 - 2 business days, Frais d’expédition réels peuvent différer.
Du vendeur/antiquaire, calibris.
Description de faible qualité ou de langue étrangère. Montrez-le
Du vendeur/antiquaire, calibris.
Description de faible qualité ou de langue étrangère. Montrez-le
Numéro de commande de plate-forme Amazon.ca: 8z5gY%2F0voCzCOzdtq04nU162PGcX p9VK2EkYJWQ90UeD7sNa07vs3EzJBl yHpC%2F0HhjtbvNcZ57qTQ5vTu%2FE 3lRYikG7pjqXEMGy6kNcjjssP5wlS6 2ByIegoRoQT%2BUpCJhDbeOOKvKLt% 2Fg%2BXfcOEj5xEnOYLBiR
Mots-clés: Livres, Informatique et Internet, Programmation et langages, Algorithmique, Mathématiques, Algèbre, Algèbre linéaire, Analyse, Calcul différentiel, Calcul intégral, Concours et examens, Fourier - Laplace, Fractales, Graphes - Optimisation combinatoire, Géometrie et Trigonométrie, Logique, Ondelettes, Probabilités, Signal, Statistiques, Systèmes dynamiques, Théorie des ensembles, Topologie, Sciences, Techniques et Médecine
Données de 07-11-2017 02:12h
ISBN (notations alternatives): 2-311-00020-9, 978-2-311-00020-7
Mots-clés: Livres, Informatique et Internet, Programmation et langages, Algorithmique, Mathématiques, Algèbre, Algèbre linéaire, Analyse, Calcul différentiel, Calcul intégral, Concours et examens, Fourier - Laplace, Fractales, Graphes - Optimisation combinatoire, Géometrie et Trigonométrie, Logique, Ondelettes, Probabilités, Signal, Statistiques, Systèmes dynamiques, Théorie des ensembles, Topologie, Sciences, Techniques et Médecine
Données de 07-11-2017 02:12h
ISBN (notations alternatives): 2-311-00020-9, 978-2-311-00020-7
autorenew