informatique # algorithme générique pour la méthode de point fix # technique de programmation par contraintes # optimisation # transformation # vérification # analyse de dépendance # domaine abstrait

Ville d'édition : Berlin ; Heidelberg

Pays d'édition : Allemagne

Langue : Anglais

EAN13 : 9783540584858

ISBN : 3-540-58485-4

Collation : fig.#tables#24 cm#broch.

Collection : Lecture notes in computer science

N° de collection : 0864

Localisation : Collection 1er étage

Numéro de congrès : 1

Année de la rencontre : 1994

Ville du congrès : Namur

Pays du congrès : Belgique

Type Congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires