m
     
Ouvrage

H 0 Adapting proofs-as-programs :
the Curry-Howard protocol

Poernomo, Iman Hafiz (Principal) ; Crossley, John Newsome (Co-auteur) ; Wirsing, Martin (Co-auteur)

Springer

2005

420 p.

978-0-387-23759-6

00029891

03B15 ; 68N18 ; 68Q65 ; 03B20 ; 68N30 ; 68T15 ; 68-02

aspects mathématiques du software # programmation # logique mathématique # données abstraites # algèbre de spécification # démonstrateur de théorème

Ville d'édition : N. Y.

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9780387237596

ISBN : 0-387-23759-3

Collation : appendix#fig.#24 cm#rel. ; Index

Collection : Monographs in computer science

Localisation : Ouvrage RdC (POER)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00029891

[disponible]
Z