Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 420 p.
ISBN 978-0-387-23759-6
Monographs in computer science
Localisation : Ouvrage RdC (POER)
aspects mathématiques du software # programmation # logique mathématique # données abstraites # algèbre de spécification # démonstrateur de théorème
03B15 ; 68N18 ; 68Q65 ; 03B20 ; 68N30 ; 68T15 ; 68-02
... Lire [+]
