Ma bibliothèque

Limiter la recherche aux exemplaires disponibles

Ressources

Auteur Français

Titre A computerized system of proving properties of programs / Elżbieta Ramm, Edmund Woronowicz.

Adresse Bibliographique

Warsaw : Institute of Computer Science, Polish Academy of Sciences, 1980.

Localisation	Cote	Statut
Innovative University Kline Collection	QA297 .P64 no. 403	AVAILABLE

Description	14 p ; 24 cm.
Collection	Prace IPI Pan = ICS Pas reports ; 403
	Prace IPI Pan ; 403.
Notes	Summary in Polish and Russian.
Bibliography	Bibliography: p. 14.
Sujet	Computer programs -- Validation.
Autre Auteur	Woronowicz, Edmund.