Un exemple d'utilisation informelle des méthodes de preuve d'algorithmes

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

Référence Technology and Science of Informatics, 5, page (403-410)
Publication Publié, 1986

Article révisé par les pairs

Titre:	Un exemple d'utilisation informelle des méthodes de preuve d'algorithmes
Auteur:	Latouche, Guy
Informations sur la publication:	Technology and Science of Informatics, 5, page (403-410)
Statut de publication:	Publié, 1986
Sujet CREF:	Algèbre linéaire et matricielle
Mots-clés:	sciences
Langue:	Français
Identificateurs:	urn:issn:0264-7419
	gl-0038

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.