m
MathCongrès

H 0 Méthodes mathématiques pour la synthèse des systèmes informatiques

Brlek, Srecko (Ed.) ; ACFAS (Ed.)

Université du Québec;Département de Mathématiques et d'Informatique;Laboratoire de Combinatoire et d'Informatique Mathématique

1994

224 p. ; 24 cm

40706

vérification de programme ; communication


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 40706 1028858 PROC 68Q MET

Sous-titre : actes du colloque

ISBN10 : 2-89276-129-8

Type de doc : C

Ville d'édition : Montréal

Pays d'édition : ca

Langue ouvrage : eng ; fre

Collection : Publications du laboratoire de combinatoire et d'informatique mathématique

N° dans la collection : 15

Bibliographie : Bibliogr. p. 81-84

Class. Math. 2000 : 68Q60 ; 68Q70 ; 90B18 ; 93C65

Nom congres : BMW-94

Ville du congrès : Montreal

Pays congres : ca

Année du congres : 1994

Lien SUDOC : https://www.sudoc.fr/131230492

Z