Introduction aux méthodes formelles / Mohamed MEZGHICHE (2023) / 978-9947-34-290-9

Public ISBD Titre : Introduction aux méthodes formelles : preuves formelles et spécification des programmes dans l'assistant de preuve COQ Type de document : texte imprimé Auteurs : Mohamed MEZGHICHE, Auteur Editeur : Alger : pages bleus Internationales Année de publication : 2023 Collection : LMD/ingénieurs Importance : 98p. Présentation : couv.ill.en coul. Format : 24cm. ISBN/ISSN/EAN : 978-9947-34-290-9 Note générale : Bibliog.p.97 Langues : Français (fre) Tags : A-calcul Résumé : Dans cet ouvrage: une brève introduction au A-calcul A-calcul simplement typé logique constructive système de type polymorphe extension du système polymorphe de type types dépendants théorie des constructions introduction à l'assistant de preuve coq Introduction aux méthodes formelles : preuves formelles et spécification des programmes dans l'assistant de preuve COQ [texte imprimé] / Mohamed MEZGHICHE, Auteur . - Alger : pages bleus Internationales, 2023 . - 98p. : couv.ill.en coul. ; 24cm.. - (LMD/ingénieurs) . ISBN : 978-9947-34-290-9 Bibliog.p.97 Langues : Français (fre) Tags : A-calcul Résumé : Dans cet ouvrage: une brève introduction au A-calcul A-calcul simplement typé logique constructive système de type polymorphe extension du système polymorphe de type types dépendants théorie des constructions introduction à l'assistant de preuve coq

Exemplaires(0)

Disponibilité
aucun exemplaire

Les fichiers:structure,organisation et accés / M.C BELAID (2021) / 978-9947-34-334-0 

Public ISBD Titre : Les fichiers:structure,organisation et accés : cours,exercices corrigés et travaux pratiques en langage C Type de document : texte imprimé Auteurs : M.C BELAID, Auteur Editeur : Alger : pages bleus Internationales Année de publication : 2021 Collection : LMD/ingénieurs Importance : 224p. Présentation : couv.ill.en coul. Format : 24cm. ISBN/ISSN/EAN : 978-9947-34-334-0 Langues : Français (fre) Résumé : Dans cet ouvrage:généralités sur les fichiers technologie des supports de stockage organisation des fichiers accès aux fichiers TP:implémentation des fichiers en langage C Les fichiers:structure,organisation et accés : cours,exercices corrigés et travaux pratiques en langage C [texte imprimé] / M.C BELAID, Auteur . - Alger : pages bleus Internationales, 2021 . - 224p. : couv.ill.en coul. ; 24cm.. - (LMD/ingénieurs) . ISBN : 978-9947-34-334-0 Langues : Français (fre) Résumé : Dans cet ouvrage:généralités sur les fichiers technologie des supports de stockage organisation des fichiers accès aux fichiers TP:implémentation des fichiers en langage C

Exemplaires(0)

Disponibilité
aucun exemplaire

---

1 (1 - 2 / 2) Par page : 25 50 100 200