m
     
Congrès

H 0 Foundations of software technology and theorical computer science#Dec. 18-20

Shyamasundar, R. (Editeur)

Springer-Verlag

1992

403 p.

978-3-540-56287-0

00016115

68N17 ; 68Q15 ; 68Q25 ; 68Q55 ; 68R10

algorithme # complexité # géométrie de l'informatique # logiciel # logique # programmation logique # spécification # sémantique

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne RDA

Langue : Anglais

EAN13 : 9783540562870

ISBN : 3-540-56287-7

Collation : Bibliogr. ; Index ; ix#fig.#table#24 cm#broch.

Collection : Lecture notes in computer science

N° de collection : 0652

Localisation : Collection 1er étage

Nom de la rencontre : New Delhi India, Dec. 18-20, 1992

Numéro de congrès : 12

Année de la rencontre : 1992

Ville du congrès : New Delhi

Pays du congrès : Inde

Code ACM : C.1.2 ; C.2.3 ; D.3.1 ; F.1 ; F.3

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00016115 [disponible]
Z