Construction et vérification de programmes
By: Roland C. Backhouse
Series: Manuels informatiques Masson
Publisher: Masson
Published: 1989
Place of publication: Paris
Language: fre
Number of pages: 276
Subjects: Programmation (Informatique)
Notes: Traduction de: Program construction and verification

1