m
     
Congrès

H 0 Static analysis:
first international static analysis symposium, SAS'94#Sept.28-30

Le Charlier, Baudouin (Editeur)

Springer-Verlag

1994

463p.

978-3-540-58485-8

00029978

00B25 ; 68-06 ; 68W40 ; 68N17 ; 68W10 ; 68Q85

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


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00029978

[disponible]
Z