الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم

  trié(s) par (Pertinence décroissant(e), Titre croissant(e)) 

Introduction aux méthodes formelles / Jean-François Monin

Public ISBD 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

---

1 (1 - 1 / 1)