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

Publisher City : Berlin ; Heidelberg

Publisher country : Allemagne

Language : English

EAN13 : 9783540584858

ISBN : 3-540-58485-4

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

Series : Lecture notes in computer science

Nb in series : 0864

Location : Collection 1er étage

Event Number : 1

Event Year : 1994

City of congres : Namur

Country of congres : Belgique

Conference type : Congrès

Availability : empruntable

Level of authorization : Public

Copies