algorithmique # architecture # complexité # implementation parallèle # langage de programmation # langage logique # logique de programmation # logique mathématiques # programmation # sémantique

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

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9783540164920

ISBN : 3-540-16492-8

Collation : Bibliogr. ; ix#24 cm#broch.

Collection : Lecture notes in computer science

N° de collection : 0225

Localisation : Collection 1er étage

Année de la rencontre : 1986

Ville du congrès : London

Pays du congrès : Grande-Bretagne

Code ACM : D.1 ; D.3 ; F.1 ; F.3 ; I.2

Type de congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires