الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'calcul de programmes, vdm, propriétés de zf, zfc, ccs' ![Surligner les mots recherchés Surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer la page de recherche courante...](./images/print.gif)
![](./images/orderby_az.gif)
Titre : Introduction aux méthodes formelles Type de document : texte imprimé Auteurs : Jean-François Monin, Auteur Mention d'édition : 2e éd. rev. et augm. Editeur : Paris : Hermès science publications Année de publication : 2000 Collection : Collection technique et scientifique des télécommunications, ISSN 0221-2579 Importance : 351 p. Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 2-7462-0140-2 Prix : Prix : 327,98 F : 50 EUR Note générale : Bibliogr. p. 331-342. Index Langues : Français (fre) Mots-clés : calcul de programmes, vdm, propriétés de zf, zfc, ccs Index. décimale : 005.1 Introduction aux méthodes formelles [texte imprimé] / Jean-François Monin, Auteur . - 2e éd. rev. et augm. . - Paris : Hermès science publications, 2000 . - 351 p. : ill., couv. ill. en coul. ; 24 cm. - (Collection technique et scientifique des télécommunications, ISSN 0221-2579) .
ISBN : 2-7462-0140-2 : Prix : 327,98 F : 50 EUR
Bibliogr. p. 331-342. Index
Langues : Français (fre)
Mots-clés : calcul de programmes, vdm, propriétés de zf, zfc, ccs Index. décimale : 005.1 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité CF2-000753 005-355.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt f2-001338 005-355.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible