algorithme # algorithmes distribués # combinatoire # complexité # informatique théorique # langage # langage de programmation # logique # mathématique discrètes # processeurs # sémantique # vérification des algorithmes

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

Pays d'édition : Allemagne

Langue : Anglais

EAN13 : 9783540156505

ISBN : 3-540-15650-X

Collation : viii#errata#24 cm#broch. ; Bibliogr.

Collection : Lecture notes in computer science

N° de collection : 0194

Localisation : Collection 1er étage

Numéro de congrès : 12

Année de la rencontre : 1985

Ville du congrès : Nafplion

Pays du congrès : Grèce

Code ACM : D.3 ; D.3.4 ; F.2 ; F.2.3 ; F.3

Type Congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires