Introduction à la preuve de programmes C avec Frama-C et son greffon WP Introduction à la spécification et la preuve de programmes C, par l'usage de Frama-C, du langage ACSL et son greffon WP. Quelques rudiments théoriques sont donnés. dans Programmation et algorithmique et Autres (informatique) Lundi 30 mars 2020 à 10h07 30/03/20 à 10h07 par Ksass`Peuk c méthodes formelles preuve déductive
Le langage C dans Programmation et algorithmique Jeudi 20 juin 2019 à 19h35 20/06/19 à 19h35 par Lucas-84, Taurre et informaticienzero c
Les personnages clés de l'informatique : la naissance d'UNIX Biographies de Ken Thompson, Dennis Ritchie, Brian Kernighan et Rob Pike dans Programmation et algorithmique , Systèmes d'exploitation et Histoire Mercredi 24 avril 2019 à 20h09 24/04/19 à 20h09 par Renault et jmiven 26 informatique c ordinateur
Les bizarreries du langage C dans Programmation et algorithmique et Autres (informatique) Samedi 17 novembre 2018 à 11h15 17/11/18 à 11h15 par ache 4 c
La vérité sur les tableaux et pointeurs en C Explications détaillées sur les tableaux et pointeurs en C. dans Programmation et algorithmique Mardi 16 octobre 2018 à 16h51 16/10/18 à 16h51 par Auteur externe tableau c pointeur
Termcap et Terminfo Reprenez le contrôle de votre terminal ! dans Programmation et algorithmique Mercredi 18 avril 2018 à 15h02 18/04/18 à 15h02 par Glordim c terminal unix
Les identificateurs en langage C dans Programmation et algorithmique Mercredi 27 septembre 2017 à 09h42 27/09/17 à 09h42 par Taurre c
Utiliser la SDL en langage C Un zeste de graphique dans Programmation et algorithmique Vendredi 30 décembre 2016 à 12h27 30/12/16 à 12h27 par Karnaj et Pouet_forever c
Aliasing et pointeurs restreints dans Programmation et algorithmique Mercredi 03 août 2016 à 15h57 03/08/16 à 15h57 par Lucas-84 et Taurre c pointeur restreint aliasing
Utiliser une bibliothèque sous Windows avec MinGW ou Code::Blocks en langage C dans Programmation et algorithmique Mercredi 10 février 2016 à 01h50 10/02/16 à 01h50 par Karnaj c
Les arbres binaires de recherche Découvrez ces structures de données super performantes ! dans Programmation et algorithmique Lundi 30 novembre 2015 à 12h16 30/11/15 à 12h16 par Richou D. Degenne c algorithmique cds
Dropbox a des fuites ! Un aperçu de la rétro-ingénierie des programmes Python dans Programmation et algorithmique Jeudi 05 février 2015 à 16h16 05/02/15 à 16h16 par nohar 6 sécurité python c
Le tri par insertion Le tri par insertion dans Programmation et algorithmique Mercredi 09 juillet 2014 à 17h09 09/07/14 à 17h09 par Auteur externe c algorithmique
