En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents De Roever, W. P. 4 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Real-time :
REX workshop#June 3-7 De Bakker, J.W. ; De Roever, W. P. ; Huizing, C. ; Rozenberg, G. | Springer-Verlag 1992

Congrès

- 723 p.
Cote : 00015255
calcul par des dispositifs abstraits # implémenta tion de système informatique # informatique théorique # langage formel # loc igiel # logique de programmes # logique mathématique # mathématique de l'informatique # mathématique discrète # opération sur réseau # projet REX # signification des programmes # système concurrent # temps réel

68-06 ; 68Q05 ; 68Q10 ; 68Qxx ; 68Rxx

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Recursive program schemes :
semantics and proof theory De Roever, W. P. | Mathematisch Centrum 1985

Ouvrage

- 112 p.
Cote : 00010428
fondements de la logique # informatique # logique algébrique # système informatique

02J10 ; 68A05

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Current trends in concurrency :
overviews and tutorials De Bakker, J. W. ; De Roever, W. P. ; Rozenberg, G. | Springer-Verlag 1986

Ouvrage

- 716 p.
Cote : 00013952
calcul parallèle # logique # parallèle # programmation fonctionnelle # sémantique # syntaxe

68Q10 ; 68Q55 ; 68Q60

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

A decade of concurrency:
reflections and perspectives; REX school/symposium#June1-4 De Bakker, J. W. ; De Roever, W. P. ; Rosenberg, G. | Springer-Verlag 1994

Congrès

- 684p.
Cote : 00030012
informatique # programmation formelle # algébre de processus # système concurrent # temps réel # syncronicité # vérification automatique # logique temporelle

00B25 ; 68-06 ; 68Q45 ; 68Q85 ; 68T15

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

Langue