Static analysis:
third international workshop,WSA'93#Sept.22-24
Cousot, Patrick (Editeur) ; Falaschi, Moreno (Editeur) ; Filè, Gilberto (Editeur) ; Rauzy, Antoine (Editeur)
1993
283p.
978-3-540-57264-0
00029981
informatique # algorithme générique pour la méthode de point fix # analyse statique pour le calcul parallèle
Ville d'édition : Berlin ; Heidelberg
Pays d'édition : Allemagne
Langue : Anglais
EAN13 : 9783540572640
ISBN : 3-540-57264-3
Collation : fig.#tables#24 cm#broch.
Collection : Lecture notes in computer science
N° de collection : 0724
Localisation : Collection 1er étage
Numéro de congrès : 3
Année de la rencontre : 1993
Ville du congrès : Padova
Pays du congrès : Italie
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00029981 | [disponible] |