algorithme non numériques et problèmes # langage de programmation # modes de calcul # spécification # structures de données # système d'exploitation # vérification et raisonnement

Publisher City : Berlin ; Heidelberg ; N.Y.

Publisher country : Allemagne

Language : English

EAN13 : 9783540119739

ISBN : 3-540-11973-6

Collation : 24 cm#broch. ; Bibliogr.

Series : Lecture notes in computer science

Nb in series : 0145

Location : Collection 1er étage

Event Number : 6

Event Year : 1983

ACM code : D.3.1 ; D.4.1 ; E.1 ; F.1.1 ; F.1.2

Conference type : Congrès

Availability : empruntable

Level of authorization : Public

Copies