Apparemment, javascript est désactivé sur votre navigateur.

Javascript doit être activé dans votre navigateur pour utiliser toutes les fonctionnalités de ce site.

›

En cours de chargement...

Recherche avancée

Kokichi Futatsugi et Razvan Diaconescu - Cafeobj Report. The Language, Proof Techniques, And Methodologies For Object-Oriented Algebraic Specification.

Cafeobj Report. The Language, Proof Techniques, And Methodologies For Object-Oriented Algebraic Specification (Relié)

Kokichi Futatsugi, Razvan Diaconescu

World Scientific Publishing
Paru le : 01/01/1998

Plus d'un million de livres disponibles
Retrait gratuit en magasin
Livraison à domicile sous 24h/48h*
* si livre disponible en stock, livraison payante

45,00 €

Expédié sous 6 à 12 jours

ou

À retirer gratuitement en magasin U
entre le 11 octobre et le 18 octobre

Fiche technique

Fiche technique

Date de parution : 01/01/1998
Editeur : World Scientific Publishing
Collection : amast series in computing
ISBN : 981-02-3513-5
EAN : 9789810235130
Présentation : Relié
Nb. de pages : 174 pages

Cafeobj Report. The Language, Proof Techniques, And Methodologies For Object-Oriented Algebraic Specification est également présent dans les rayons

Livres > Médecine, sciences, techniques > Mathématiques >

Cafeobj Report. The Language, Proof Techniques, ...

Kokichi Futatsugi, ...

45,00 €

Haut de page