Génie Logiciel : Exercices Corrigés En Langage Z - Les Spécifications Formelles Par L'exemple - André Pascal
- Collection: TECHNOSUP
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtrePrix neuf 29,00 €
Qu'est-ce que le prix barré ?
C'est le prix de vente au public, fixé par l'éditeur ou l'importateur, pour le même article neuf.
En savoir plus11,17 €
Occasion · Bon État
Option Express : Chez vous le 04/05 (?)
- Livraison : 3,29 €
- Livré entre le 4 et le 7 mai
Ancien livre de bibliothèque avec équipements. Edition 2004. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives.
Nos autres offres
-
-
29,00 €
Produit Neuf
-
Livraison : 3,00 €
0,01 € dès 35,00 € chez ce vendeur - Livré entre le 6 et le 11 mai
Libraire professionnel. Livre neuf. Exp¿dition sous 3 ¿ 6 jours. Suivi par mail.
-
Livraison : 3,00 €
-
29,00 €
Produit Neuf
-
Livraison : 3,00 €
0,01 € dès 35,00 € chez ce vendeur - Livré entre le 5 et le 11 mai
Libraire professionnel. Livre neuf. Expedition sous 2 a 4 semaines. Suivi par mail.
-
Livraison : 3,00 €
-
29,00 €
Produit Neuf
- Livraison : 5,00 €
- Livré entre le 6 et le 9 mai
Exp¿di¿ en 7 jours ouvr¿s
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Génie Logiciel : Exercices Corrigés En Langage Z - Les Spécifications Formelles Par L'exemple de André Pascal ... - Livre Informatique
0 avis sur Génie Logiciel : Exercices Corrigés En Langage Z - Les Spécifications Formelles Par L'exemple de André Pascal ... - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Python Pour Les Nuls
1 avis
Neuf dès 25,95 €
Occasion dès 15,60 €
-
Sketchup - Guide Pratique
3 avis
Occasion dès 5,60 €
-
Pionniers - Voyage Aux Frontières De L'intelligence Artificielle
2 avis
Neuf dès 22,00 €
Occasion dès 7,59 €
-
Ultra-Intelligence - Jusqu'où Iront Les Ia ?
1 avis
Neuf dès 23,90 €
Occasion dès 14,30 €
-
Unity - De La Création À La Publication D'un Jeu Vidéo En 2d
Occasion dès 8,60 €
-
Hogwarts Legacy - Le Guide Officiel Du Jeu
8 avis
Neuf dès 14,90 €
Occasion dès 5,99 €
-
Les Drones - La Nouvelle Révolution
Occasion dès 6,05 €
-
Développer Des Applications Avec Gpt-4 Et Chatgpt
Neuf dès 34,95 €
Occasion dès 13,60 €
-
La Chaîne Graphique - Prépresse, Impression, Finition
3 avis
Occasion dès 7,30 €
-
Réussir Son Référencement Web - Stratégie Et Techniques Seo
2 avis
Neuf dès 43,00 €
Occasion dès 6,00 €
-
L'ia, Ange Ou Démon ? - Le Nouveau Monde De L'invisible
4 avis
Neuf dès 22,00 €
Occasion dès 13,19 €
-
Python 3 - Les Fondamentaux Du Langage
2 avis
Neuf dès 28,10 €
Occasion dès 14,54 €
-
L'art Et La Création De Hogwarts Legacy - L'héritage De Poudlard
3 avis
Neuf dès 39,90 €
Occasion dès 14,10 €
-
Methodes De Design Ux - 30 Méthodes Fondamentales Pour Recevoir Et Évaluer Les Systèmes Interactifs
7 avis
Occasion dès 7,63 €
-
Apprendre À Programmer Avec Python 3
8 avis
Neuf dès 32,40 €
Occasion dès 12,70 €
-
Console Wars - Sega Vs Nintendo : La Guerre Qui A Bouleversé Le Monde Vidéoludique - Volume 1
2 avis
Neuf dès 19,90 €
Occasion dès 8,28 €
-
Design Patterns - Apprendre La Conception De Logiciels En Réalisant Un Jeu Video
1 avis
Occasion dès 9,49 €
-
Ia Génératives, Pas Créatives - L'intelligence Artificielle N'existe (Toujours) Pas
2 avis
Neuf dès 19,80 €
Occasion dès 9,00 €
-
Autocad 2017 Et Lt 2017 Pour Les Nuls
Occasion dès 13,60 €
-
Base 7.1 - Le Gestionnaire De Bases De Données De Libreoffice
1 avis
Neuf dès 18,10 €
Occasion dès 5,99 €
Produits similaires
Présentation Génie Logiciel : Exercices Corrigés En Langage Z - Les Spécifications Formelles Par L'exemple de André Pascal ...
- Livre Informatique
Résumé :
Cet ouvrage constitue une bonne base pour l'apprentissage et la pratique du langage Z, et à travers lui des spécifications formelles en général. Il couvre l'essentiel du domaine d'application de Z, de l'acquisition de la notation à la pratique dans la conception de systèmes d'informations. Il est constitué de plus de 80 exercices corrigés et commentés, regroupes en quatre chapitres : le premier chapitre est consacré à l'apprentissage du langage et de la notation . le deuxième illustre la spécification avec Z (qu'il s'agisse d'écriture de spécifications, de preuves ou de raffinage) . le troisième met en évidence l'évolutivité des spécifications Z en reprenant certains exercices et en proposant des variations . le dernier s'inscrit dans l'application concrète de Z pour le développement du logiciel (en montrant par exemple comment intégrer des modèles E-A-P de Merise avec des spécifications Z) . Cet ouvrage fait suite à un précédent livre, des mêmes auteurs, dans la même collection Spécification des logiciels - deux exemples : Z et UML, dont il reprend les sujets pour les développer. L'ensemble constitue un bon passeport pour la maîtrise des spécifications formelles.
Biographie:
Pascal André, Maître de conférences à l'Université de Nantes, détaché à l'INP de Yamoussoukro (Côte d'Ivoire) travaille en recherche sur les méthodes formelles pour le développement de systèmes à objets. Alain Vailly, Maître de conférences à la Faculté des sciences et des techniques de l'Université de Nantes est Directeur de l'IUP-MIAGe. Il s'intéresse en recherche au paraphrasage de spécifications.
Sommaire:
["Le langage Z","La spécification avec Z","La spécification avec Z : la facturation des commandes","Des compléments pour la modélisation avec Z"]
©
Détails de conformité du produit
Personne responsable dans l'UE