m

F Nous contacter

0

Documents  De Roever, W. P. | enregistrements trouvés : 4

O
     

-A +A

P Q

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

- 723 p.
ISBN 978-3-540-55564-3

Lecture notes in computer science , 0600

Localisation : Collection 1er étage

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

... Lire [+]

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

- 684p.
ISBN 978-3-540-58043-0

Lecture notes in computer science , 0803

Localisation : Collection 1er étage

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

... Lire [+]

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

- 112 p.
ISBN 978-90-6196-127-7

Mathematical centre tracts , 0070

Localisation : Collection 1er étage

fondements de la logique # informatique # logique algébrique # système informatique

02J10 ; 68A05

... Lire [+]

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

- 716 p.
ISBN 978-3-540-16488-3

Lecture notes in computer science , 0224

Localisation : Collection 1er étage

calcul parallèle # logique # parallèle # programmation fonctionnelle # sémantique # syntaxe

68Q10 ; 68Q55 ; 68Q60

... Lire [+]

Z