Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 382p.
ISBN 978-3-540-52148-8
Lecture notes in computer science , 0407
Localisation : Collection 1er étage
informatique # méthodes de calcul # sémantique # méthode de vérification assistée par ordinateur # spécification # protocoles de réseaux d'ordinateurs
00B15 ; 68-06 ; 68Q10 ; 68Q55 ; 68Q60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 403 p.
ISBN 978-3-540-56287-0
Lecture notes in computer science , 0652
Localisation : Collection 1er étage
algorithme # complexité # géométrie de l'informatique # logiciel # logique # programmation logique # spécification # sémantique
68N17 ; 68Q15 ; 68Q25 ; 68Q55 ; 68R10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 720 p.
ISBN 978-3-540-16492-0
Lecture notes in computer science , 0225
Localisation : Collection 1er étage
algorithmique # architecture # complexité # implementation parallèle # langage de programmation # langage logique # logique de programmation # logique mathématiques # programmation # sémantique
68N15 ; 68Nxx ; 68Q55 ; 68Qxx ; 68SXX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 256 p.
ISBN 978-3-540-55124-9
Lecture notes in computer science , 0572
Localisation : Collection 1er étage
algorithme # langage formel # logique mathématique # structure de donnée # théorème de la preuve
68P05 ; 68Q45 ; 68Q50 ; 68Q55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 341 p.
ISBN 978-3-540-09981-9
Lecture notes in computer science , 0083
Localisation : Collection 1er étage
conception assistée par ordinateur # langage # programmation # sémantique # testes
68N15 ; 68Nxx ; 68Q55 ; 68Q60 ; 68U07
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 541 p.
ISBN 978-3-540-60017-6
Lecture notes in computer science , 0933
Localisation : Collection 1er étage
lambda calcul # logique de l'informatique # oméga-régularité # programmation logique # système logique # sémantique # théorie de la preuve # théorie des catégories # théorie des modèles finis
03Bxx ; 68Q05 ; 68Q45 ; 68Q50 ; 68Q55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 395 p.
ISBN 978-3-540-16816-4
Lecture notes in computer science , 0239
Localisation : Collection 1er étage
définitions formelles et théorie # langages de programmation # sémantique des langages de programmation
68N15 ; 68Q55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 521 p.
ISBN 978-3-540-16042-7
Lecture notes in computer science , 0206
Localisation : Collection 1er étage
algorithme parallèle # algorithmique # distribution des algorithmes # gestion des systèmes # implementation de langage # informatique théorique # linguistique # logique de programmation # programmation # sémantique # théorie de l'informatique # vérification de programme
68Nxx ; 68Q22 ; 68Q25 ; 68Q55 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 429 p.
ISBN 978-3-540-11212-9
Lecture notes in computer science , 0131
Localisation : Collection 1er étage
logique de programmation # logique mathématiques # programme
68Q45 ; 68Q55 ; 68S10 ; 68SXX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 770 p.
ISBN 978-3-540-54415-9
Lecture notes in computer science , 0526
Localisation : Collection 1er étage
complexité # grammaire # informatique théorique # programmation logique # syntaxe émantique # théorie des types
68Pxx ; 68Q50 ; 68Q55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 403 p.
ISBN 978-0-8218-0579-4
DIMACS series in discrete mathematics and theoretical computer science , 0029
Localisation : Collection 1er étage
classe de complexité # informatique théorique # langage formel # processus des données électroniques # processus distribué # programme # software # spécification # sémantique # théorie d'automate # vérification
68Q10 ; 68Q45 ; 68Q55 ; 68Q60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-521-63168-6
Publications of the newton institue
Localisation : Colloque 1er étage (CAMB)
informatique # langage # langage d"ordre supérieur # langage de programmation # relation logique # sémantique # technique d"étiquetage # théorème du point fixe # équivalence contextuelle
68-06 ; 68N15 ; 68Q55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 435 p.
ISBN 978-3-540-61464-7
Lecture notes in computer science , 1103
Localisation : Collection 1er étage
algèbre de l'informatique # déduction # langage de programmation # langage formel # logique et signification de programme # logique mathématique # preuve du théorème # sémantique et langage de programmation # technique de réécriture des systèmes
68Q42 ; 68Q45 ; 68Q55 ; 68Q60 ; 68Q70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 306 p.
ISBN 978-3-540-16443-2
Lecture notes in computer science , 0214
Localisation : Collection 1er étage
arbre # grammaire # graphe # sémantique # syntaxe
68Q50 ; 68Q55 ; 68R10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 339 p.
ISBN 978-0-521-42726-5
London mathematical society lecture note series , 0177
Localisation : Collection 1er étage
camonade # catégorie # informatique # reécriture d'algorithme # sémantique
18Bxx ; 18Cxx ; 68-02 ; 68Q55 ; 68Q70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-05377-4
Lecture notes in mathematics , 0188
Localisation : Collection 1er étage
conditionnel linéaire # expérience avec assertion inductive pour prouver la justesse # formalisation de propriété de stockage # justesse partielle # preuve de justesse de technique d'implémentation # procédure et paramétre (approche axiomatique) # schéma de programme et logique # structure et signification de programme élémentaire # synthèse de programme automatique # système d'axiome pour énoncé d'assignement simple # sémantique d'énoncé de type ALGOL # sémantique de langage algorithmique # sémantique formelle # théorie algébrique # treillis de diagramme de flot
conditionnel linéaire # expérience avec assertion inductive pour prouver la justesse # formalisation de propriété de stockage # justesse partielle # preuve de justesse de technique d'implémentation # procédure et paramétre (approche axiomatique) # schéma de programme et logique # structure et signification de programme élémentaire # synthèse de programme automatique # système d'axiome pour énoncé d'assignement simple # sémantique d'énoncé de ...
68Q45 ; 68N01 ; 68Q55 ; 68N17 ; 68P20 ; 68-06
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-521-58057-1
Publications of the Newton institute
Localisation : Colloque 1er étage (CAMB)
informatique # langage # logique classique # metalangage # programmation # sémantique
68N17 ; 68Q40 ; 68Q55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 564 p.
ISBN 978-3-540-61228-5
Lecture notes in computer science , 1073
Localisation : Collection 1er étage
algorithme et architecture # application à l'informatique # concurrence # forme et graphisme # grammaire de graphe # ingénieurie de logiciel # langage de graphe # spécification et sémantique # technique de réécriture
68Nxx ; 68Q42 ; 68Q55 ; 68Q60 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 506 p.
ISBN 978-3-540-55511-7
Lecture notes in computer science , 0598
Localisation : Collection 1er étage
calcul par dispositif abstraits # fondement mathématique de la sémantique de programmation # langage de programmat ion # lo gique mathématique et langage formel # logique et signification des programmes
68-06 ; 68N15 ; 68Q45 ; 68Q55 ; 68S05
... Lire [+]
