Mathematical foundations of computer science 1991 :
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
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00022075 | [disponible] |