Description: Construction et vérification de programmes

Saved in:

Bibliographic Details
Main Author :	Backhouse Roland Carl (Auteur)
Other Authors :	Quiniou René (Traducteur)
Format :	Book
Language :	français
Title statement :	Construction et vérification de programmes / Roland C. Backhouse,...; trad. par René Quiniou
Published :	Paris, London : Masson , 1989 Prentice Hall
Physical Description :	276 p.
Series :	Manuels informatiques Masson
Traduction de :	Program construction and verification
Subjects :	Programmation Vérification (épistémologie) Logiciels > Développement Ordinateurs > Programmation