الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
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'
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Introduction aux méthodes formelles / Jean-François Monin
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