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
0

Logical frameworks
First annual workshop held under the auspices of the ESPRIT basic research action 3245, France 1990

Sélection Signaler une erreur
Congrès

Huet, Gérard (Editeur) ; Plotkin, Gordon (Editeur)

Cambridge University Press

1991

978-0-521-41300-8

00016859

68N17

algorithme # calcul # implémentation # logique de l'informatique # logique de programmation # logique intuitive # preuve # structure logique # système formel

Ville d'édition : Cambridge ; N.Y. ; Port Chester

Pays d'édition : Grande-Bretagne

Langue : Anglais

EAN13 : 9780521413008

ISBN : 0-521-41300-1

Collation : 24 cm ; 403 p. ; Bibliogr. ; rel. ; xii

Localisation : Colloque 1er étage (SOPH)

Nom de la rencontre : First annual workshop held under the auspices of the ESPRIT basic research action 3245 " logical frameworks design, implementation and experiment "

Année de la rencontre : 1990

Ville du congrès : Sophia-antipolis

Pays du congrès : France

Code ACM : F.3.0 ; F.4.1

Type Congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 C/SOPH/1990 00016859 [disponible]
Sélection Signaler une erreur