algorithme non numérique # analyse d'algorithmes # analyse numérique # calcul par dispossitif abstrait # complexité # fondement mathématique de l'informatique # grammaire # informatique théorique # ingénieurie de logiciel # langage de programmation # langage formel # logique des programmes # logique mathématique # mathématique discrète # signification des programmes # structure des données # système de réécriture # sémantique des langages de programmation

Publisher City : Heidelberg ; N.Y. ; Paris

Publisher country : France

Language : English

EAN13 : 9783540558088

ISBN : 3-540-55808-X

Collation : 24 cm#broch. ; Bibliogr.

Series : Lecture notes in computer science

Nb in series : 0629

Location : Collection 1er étage

Event Title : 17th International symposium

Event Number : 17

Event Year : 1992

City of congres : Prague

Country of congres : République Tchèque

ACM code : D.2.2 ; D.3.3 ; E.1 ; F.1 ; I.4

Conference type : Congrès

Availability : empruntable

Level of authorization : Public

Copies