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. c méthodes formelles preuve déductive
Les personnages clés de l'informatique : la naissance d'UNIX Biographies de Ken Thompson, Dennis Ritchie, Brian Kernighan et Rob Pike informatique c ordinateur
La vérité sur les tableaux et pointeurs en C Explications détaillées sur les tableaux et pointeurs en C. tableau c pointeur
Les arbres binaires de recherche Découvrez ces structures de données super performantes ! c algorithmique cds
