الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Détail d'une collection
Collection technique et scientifique des télécommunications
Editeur :
ISSN :
0221-2579
|
Documents disponibles dans la collection
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche Interroger des sources externes
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
Titre : Objets communicants Type de document : texte imprimé Auteurs : kintzig, claude, Auteur ; Poulain, Gérard, Auteur ; Privat, Gilles Editeur : Paris : Hermès science publications Année de publication : 2002 Collection : Collection technique et scientifique des télécommunications, ISSN 0221-2579 Importance : 399 p. Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-0475-1 Prix : 70 EUR Note générale : Notes bibliogr. Glossaire. Index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : domotique et personnes dépendantes, la localisation inverse Index. décimale : 004 Objets communicants [texte imprimé] / kintzig, claude, Auteur ; Poulain, Gérard, Auteur ; Privat, Gilles . - Paris : Hermès science publications, 2002 . - 399 p. : ill., couv. ill. en coul. ; 24 cm. - (Collection technique et scientifique des télécommunications, ISSN 0221-2579) .
ISBN : 978-2-7462-0475-1 : 70 EUR
Notes bibliogr. Glossaire. Index
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : domotique et personnes dépendantes, la localisation inverse Index. décimale : 004 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité CF2-000265 004-017.1 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Exclu du prêt F2-000305 004-017.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible
