m

F Nous contacter

0

Documents  Baeten, J. C. M. | enregistrements trouvés : 2

O
K L Q M | g | F x r
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Concur '91 :
2nd international conference on concurrency theory held in amsterdam#Aug. 26-29 Baeten, J. C. M. ; Groote, J. F. | Springer-Verlag 1991

Congrès

- 540 p.
ISBN 978-3-540-54430-2

Lecture notes in computer science , 0527

Localisation : Collection 1er étage

constructions de langages et carastéristique # définitions formelles et théorie # langages de progammation # modes de calcul # progammation concurrente # spécifications

68N05 ; 68N15 ; 68Q10 ; 68Q60

... Lire [+]

|

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes paniers

|

Signaler une erreur

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Filters and ultrafilters over definable subsets of admissible ordinals Baeten, J. C. M. | Centre For Mathematics And Computer Science 1986

Ouvrage

- 77 p.
ISBN 978-90-6196-301-1

CWI tract , 0024

Localisation : Collection 1er étage

03D60 ; 03E45 ; 03E55 ; 04A20

... Lire [+]

|

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes paniers

|

Signaler une erreur

1

Tout sélectionner / Tout déselectionner

Listes : nb d'elts/page

Z