Title: Introduction a la specification
Subjects: Computer software, Development, Computer programming, Calcul propositionnel, Logique premier ordre, Système formel, Spécification formelle, Spécification logiciel, Logiciels, Développement, Programmation (Informatique), Contrats et spécifications, Génie logiciel