Mon compte
Ma liste - 0
Catalogue
Ressources numériques
Nouveautés
Liens utiles
Mon compte
Recherche rapide
Recherche avancée
Recherche alphabétique
Historique
Information
Recherche
Auteur
Titre
Sujet
Titre de revue
Collection
Cotes BU
Cotes ENSEA
Cotes IUFM
Modifier la recherche
>
CERGY
Elargir la recherche
Sur le même sujet :
Logiciel
Formal methods (Computer science)
Logiciels
Logiciels -- Modèles de conception
Méthodes formelles (informatique)
Software patterns
Parcourir le catalogue
par auteur:
Tremblay , Guy , 1958-....
Rechercher sur Internet
Localiser dans une autre bibliothèque (SUDOC) (PPN ou ISBN ou ISSN)
Aperçu dans Google Books
Affichage MARC
Auteur :
Tremblay , Guy , 1958-....
Titre :
Modélisation et spécification formelle des logiciels , Guy Tremblay
Editeur :
Québec , Loze-Dion éditeur -- 2006
ISBN:
978-2-923565-24-8
Notes :
Titre provenant de la page de titre du document numérique
Numérisation de l'édition de Québec : Loze-Dion éditeur, 2006
La pagination de l'édition imprimée correspondante est de 639 p.
Fichier html
Configuration requise : navigateur internet
URL:
(Accès réservé aux étudiants de l'ENSEA)
http://univ.scholarvox.com.ez-proxy.ensea.fr/book/45006865
Sujet :
Logiciel
Formal methods (Computer science)
Logiciels
Logiciels -- Modèles de conception
Méthodes formelles (informatique)
Software patterns
Exemplaires
Site
Emplacement
Cote
Type de prêt
Statut
Ensea
Ressources numériques
ENSEA-SCHOLARV
Consultation en ligne
Disponible
Pour toute question,
contactez la bibliothèque
Horizon Information Portal 3.25_france_v1m© 2001-2019
SirsiDynix
Tous droits réservés.