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

Publisher City : Berlin ; Heidelberg ; N.Y.

Publisher country : États-Unis

Language : English

EAN13 : 9783540164920

ISBN : 3-540-16492-8

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

Series : Lecture notes in computer science

Nb in series : 0225

Location : Collection 1er étage

Event Year : 1986

City of congres : London

Country of congres : Grande-Bretagne

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

Conference type : Congrès

Availability : empruntable

Level of authorization : Public

Copies