algorithme non numérique # analyse des algorithmes # construction de langage # engineering de logiciel # informatique théorique # langage de programmation # langage de requête # langage formel # logique mathématique # problème de complexité # programmation logiciel # spécification # spécification de programme # structure de langage # technique de programmation # vérification de programme

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

Pays d'édition : Allemagne RFA

Langue : Anglais

EAN13 : 9783540543459

ISBN : 3-540-54345-7

Collation : 24 cm#broch. ; Bibliogr.

Collection : Lecture notes in computer science

N° de collection : 0520

Localisation : Collection 1er étage

Nom de la rencontre : 16th international symposium on mathematical foundations of computer science

Numéro de congrès : 16

Année de la rencontre : 1991

Ville du congrès : Kazimierz dolny

Pays du congrès : Pologne

Code ACM : D.2.1 ; D.3.3 ; F.1.1 ; F.2.2 ; F.3.1 ; F.4.3

Type Congrès : Congrès

Disponibilité : empruntable

Exemplaires