Tous nos rayons

Déjà client ? Identifiez-vous

Nouveau client ?

CRÉER VOTRE COMPTE
Votre panier contient 0 article
0,00 €
Génie logiciel - Exercices corrigés en langage Z

Librairie Eyrolles - Paris 5e
Indisponible

Génie logiciel - Exercices corrigés en langage Z

Génie logiciel - Exercices corrigés en langage Z

Les spécifications formelles par l'exemple

- Collection Technosup

256 pages, parution le 04/03/2004

Résumé

Niveau C (Compléments) Pour la maîtrise du langage Z et pour comprendre les spécifications formelles, un livre qui complète un précédent ouvrage des mêmes auteurs sur Z, en proposant des exercices avec solutions, précisions sur les démarches suivies et conseils de modélisation.

L'auteur Pascal André

Pascal André, Maître de conférences d'informatique à la Faculté des lettres et sciences humaines de l'Université de Nantes travaille en recherche sur les méthodes formelles de développement des systèmes à objets.

Autres livres de Pascal André

L'auteur Alain Vailly

Alain Vailly, Maître de conférences à la Faculté des sciences et techniques de l'Université de Nantes est Directeur de l'IUP MIAGe. Il s'intéresse en recherche au paraphrasage de spécification.

Autres livres de Alain Vailly

Sommaire

  • Le langage Z
  • La spécification avec Z
  • La spécification avec Z : la facturation de commandes
  • Des compléments pour la modélisation avec Z
Voir tout
Replier

Caractéristiques techniques du livre "Génie logiciel - Exercices corrigés en langage Z"

  PAPIER
Éditeur(s) Ellipses
Auteur(s) Pascal André, Alain Vailly
Collection Technosup
Parution 04/03/2004
Nb. de pages 256
Format 17,5 x 26
Couverture Broché
Poids 546g
Intérieur Noir et Blanc
EAN13 9782729819422
ISBN13 978-2-7298-1942-2
Sélection des livres de l’été 2019

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine (1)

Paiement en ligne SÉCURISÉ

Livraison dans le monde

Retour sous 15 jours

+ de 700 000 livres disponibles

satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients 0 321 79 56 75 sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925