Construction et vérification de programmes
Backhouse, Roland C.
Construction et vérification de programmes Roland C. Backhouse; traduit par René Quiniou. - Masson, 1989. - [10], 276 p. - (Manuels informatiques massson) .
Includes index.
2225816603
004.42
Construction et vérification de programmes Roland C. Backhouse; traduit par René Quiniou. - Masson, 1989. - [10], 276 p. - (Manuels informatiques massson) .
Includes index.
2225816603
004.42