Structures de données et méthodes formelles

structures de données et une méthode formelle de construction de programmes. Ce livre est au ... fait un grand usage des structures manipulées dans ce livre.