m

Documents  Amadio, Roberto M. | enregistrements trouvés : 2

O
     

-A +A

P Q

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

- 524 p.
ISBN 978-3-540-40753-9

Lecture notes in computer science , 2761

Localisation : Collection 1er étage

ordre partiel # concurrence # système asynchrone # algèbre de processus # jeu # système infini # automate probabiliste # HMSC # sécurité # mobilité # temps réel # modèle probabiliste # langage de programmation # technique de programmation # réseau

68-06 ; 68Q85 ; 68Q10

... Lire [+]

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

- 484 p.
ISBN 978-0-521-62277-6

Cambridge tracts in theoretical computer science , 0046

Localisation : Ouvrage RdC (AMAD)

logique # informatique # logique combinatoire # sémantique # logique de programmation # sémantique # langage de programmation # domaine # calcul lambda # syntaxe du calcul lambda # dualiété de Stone # approche syntaxique de la sémantique

03B40 ; 06B35 ; 58-02 ; 68Q55 ; 68N18

... Lire [+]

Z