Logic for applications
Enregistré dans:
Auteur principal : | |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | Logic for applications |
Publié : |
New York :
Springer-Verlag
, 1993 |
Description matérielle : | XVII-365 p. |
Collection : | Texts and monographs in computer science |
Sujets : |
ISBN : | 3-540-94129-0 |
---|