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