"systemes formels"

100 résultats

Trier par :

Couverture du produit · Systèmes formels

Livre Systèmes formels Claude Benzaken

Couverture du produit · Approches formelles des systèmes embarqués communicants

Livre Approches formelles des systèmes embarqués communicants Claude Jard

Couverture du produit · Programmation en Pascal, prédicats, systèmes formels

Livre Programmation en Pascal, prédicats, systèmes formels Maurice Margenstern

Couverture du produit · Méthodes formelles pour les systèmes répartis et coopératifs

Livre Méthodes formelles pour les systèmes répartis et coopératifs Serge Haddad

Couverture du produit · SPECIFICATION FORMELLE AVEC B

Livre SPECIFICATION FORMELLE AVEC B Henri Habrias

Couverture du produit · Calcul formel et manipulations symboliques

Livre Calcul formel et manipulations symboliques Hubert Caprasse

Couverture du produit · Introduction aux méthodes formelles. 2ème édition

Livre Introduction aux méthodes formelles. 2ème édition Jean-François Monin

Couverture du produit · Application des techniques formelles au logiciel

Livre Application des techniques formelles au logiciel Ofta

Couverture du produit · Calcul formel avec MuPAD : initiation aux mathématiques

Livre Calcul formel avec MuPAD : initiation aux mathématiques F. Maltey

Couverture du produit · Calcul formel : mode d'emploi. Exemples en Maple

Livre Calcul formel : mode d'emploi. Exemples en Maple Claude Gomez

Couverture du produit · Mathematica. Calcul formel et programmation symbolique pour l'informatique scientifique

Livre Mathematica. Calcul formel et programmation symbolique pour l'informatique scientifique Rémi Barrère

Couverture du produit · Ingenierie des modèles: Logiciels et systèmes

Livre Ingenierie des modèles: Logiciels et systèmes OFTA

Couverture du produit · SDL. Modélisation de protocoles et systèmes réactifs

Livre SDL. Modélisation de protocoles et systèmes réactifs Zoubir Mammeri

Couverture du produit · Méthodes avancées pour les systèmes de recherches d'information

Livre Méthodes avancées pour les systèmes de recherches d'information Madjid Ihadjadène

Couverture du produit · Conception des systèmes d'information - Panorama des méthodes et des techniques

Livre Conception des systèmes d'information - Panorama des méthodes et des techniques Pascal André et Alain Vailly

Couverture du produit · Automatique - Systèmes linéaires, non linéaires - 2e édition: Cours et exercices corrigés

Livre Automatique - Systèmes linéaires, non linéaires - 2e édition: Cours et exercices corrigés Yves Granjon

Couverture du produit · Gestion de la complexité dans les études quantitatives de sûreté de fonctionnement de systèmes

Livre Gestion de la complexité dans les études quantitatives de sûreté de fonctionnement de systèmes Marc Bouissou

Couverture du produit · Spécification des logiciels : Deux exemples de pratiques récentes : Z et UML

Livre Spécification des logiciels : Deux exemples de pratiques récentes : Z et UML Pascal André et Alain Vailly

Couverture du produit · Exécution du droit communautaire par les Etats membres: Méthode communautaire et nouvelles formes de gouvernance

Livre Exécution du droit communautaire par les Etats membres: Méthode communautaire et nouvelles formes de gouvernance Micaela Vaerini Jensen

Couverture du produit · Charles Dickens - l'écriture comme pouvoir, l'écriture comme résistance

Livre Charles Dickens - l'écriture comme pouvoir, l'écriture comme résistance Nathalie Jaëck

Couverture du produit · L'essentiel sur Merise

Livre L'essentiel sur Merise Dominique Dionisi

Couverture du produit · Traitement automatique des langues et linguistique informatique 2

Livre Traitement automatique des langues et linguistique informatique 2 Mohamed Zakaria Kurdi

Couverture du produit · INGENIERIE OBJET. Concepts et techniques

Livre INGENIERIE OBJET. Concepts et techniques Chabane Oussalah

Couverture du produit · Logique élémentaire : cours de base pour informaticiens

Livre Logique élémentaire : cours de base pour informaticiens Jacques Zahnd

Vous n'avez pas trouvé l'article que vous cherchiez ?

Activez les notifications dans votre compte pour être alerté dès qu'il est en stock.

Créer une alerte