algorithme de graphes # algorithme géométrique # analyse d'algorithme # automate fini # calcul parallèle # calcul symbolique # complexité de Kolmogorov # développement de programme # grammaire de graphes # langage # langage formel # logique # modèle # programmation # spécification de temps # sémantique concurrence # équivalence de processus

Publisher City : Heidelberg ; N.Y. ; Paris

Publisher country : France

Language : English

EAN13 : 9783540557197

ISBN : 3-540-55719-9

Collation : 24 cm#broch. ; Bibliogr.

Series : Lecture notes in computer science

Nb in series : 0623

Location : Collection 1er étage

Event Number : 19

Event Year : 1992

City of congres : Wien

Country of congres : Australie

ACM code : D.1 ; E.1 ; F.1 ; G.2 ; I.1

Conference type : Congrès

Availability : empruntable

Level of authorization : Public

Copies