GEOTRUST SSL CERTIFICATE
| Titre : | Objet (L'). |
| Titre de série : | Objet (L'), 1(2000) |
| Auteurs : | Pascal André, Metteur en scène, réalisateur ; Roger Rousseau, Metteur en scène, réalisateur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Hermès science publications, 2000 |
| ISBN/ISSN/EAN : | 978-2-7462-0126-2 |
| Format : | 122 p. / 24 x 16 cm |
| Note générale : |
Bibliogr. |
| Langues: | Français |
| Index. décimale : | 004.1 |
| Mots-clés: | programmation orientée objets (informatique) |
| Résumé : |
Vers une intégration utile de notations semi-formelles et formelles : une expérience en UML et Z. Combiner du code avec des spécifications : constructions non déterministes et lambda-calcul, illustrés sur des classes de collections de la bibliothèque Java. Patrons de conception pour des adaptateurs de synchronisation d'objets CORBA. Typage statique des objets concurrents et des acteurs. |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
