m

F Nous contacter

0
     
Congrès

H 0 Mathematical foundations of computer science 1991 :

Tarlecki A. (Editeur)

Springer-Verlag

1991

435 p.

978-3-540-54345-9

00022075

68Mxx ; 68N05 ; 68N15 ; 68N17 ; 68Nxx ; 68Q20 ; 68Q60 ; 68Qxx ; 68S05

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

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00022075 [disponible]
Z