Exercices corrigés en langage Z : génie logiciel : les spécifications formelles par l'exemple

Name: Exercices corrigés en langage Z : génie logiciel : les spécifications formelles par l'exemple
ISBN: 9782729819422

De Pascal André, Alain Vailly

ISBN-13

9782729819422

Éditeur

Ellipses (Paris)

Date de publication

01/01/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 exerc

0 annonce en vente actuellement

Je veux vendre ce livre

Du même rayon

Word pour windows 95 (version 7) : le mailing

Collectif

TensorFlow pour le deep learning : De la régression linéaire à l'apprentissage par renforcement

Bharath Ramsundar, Reza Bosagh Zadeh

Python pour les nuls

Excel en fiches : niveau débutant

Pascal Parisot

Drupal 8 : Découverte des fondamentaux

Christophe Aubry

Joomla 2.5 et VirtueMart 2 : réussir sa boutique en ligne

Valérie Isaksen, Thierry Tardif

Word 97 : fonctions avancées

Collectif

Informatique tronc commun CPGE scientifiques 1re et 2e années

Thierry Audibert, Amar Oussalah

La sécurité informatique en mode projet : organisez la sécurité du SI de votre entreprise

Alexandre Planche, Jérôme Del Duca

Excel 2021 tout en 1 pour les nuls

Greg Harvey