Normal view MARC view ISBD view

Construction et vérification de programmes [] / Roland C. Backhouse,... ; trad. par René Quiniou

Traduction de : , Program construction and verification[Texte imprimé] / Roland C. Backhouse = c1986Auteur principal : Backhouse, Roland C, 1948-....Auteur secondaire : : Quiniou, René, TraducteurPublication : Paris : Masson, London : Prentice Hall, 1989, 53-Mayenne : Impr. FlochDescription : 1 vol. (276 p.) : ill. ; 24 cmISBN : 2-225-81660-3.Dewey: 005.12Classification : D.2Bibliographie: Index.Sujet - Nom d'actualité : Vérification (épistémologie) ;Programmation ;Logiciels -- Développement ;Ordinateurs -- Programmation Sujet : Programmation ;Informatique ;Programme ordinateur ;Vérification programme
Current location Call number Status Date due Barcode
Bib. Paris
Magasin
EMP 110.131 Available EMP07955D
Sophia Antipolis
Salle de lecture
EMS 110-C03/N 2845 Available EMS01323D

Index

Powered by Koha