Trouver un exemplaire en ligne
Liens vers cet ouvrage
Volltext Abstract / Index
link.springer.de ETH ZuÌrich Zugriff uÌber: http://link.springer.de/link/service/series/0558/index.htm
Volltext Online via SFX
Veuillez indiquer si vous voulez ou non que les autres utilisateurs puissent voir dans votre profil que cette bibliothèque est l’une de vos préférées.
Trouver un exemplaire dans la bibliothèque
Recherche de bibliothèques qui possèdent cet ouvrage...
Détails
| Genre/forme : | Kongress |
|---|---|
| Type d’ouvrage : | Ressource Internet |
| Format : | Livre, Ressource Internet |
| Tous les auteurs / collaborateurs : |
Frank S de Boer; et al |
| ISBN : | 3540229426 9783540229421 |
| Numéro OCLC : | 635618826 |
| Description : | 371 S : ill. |
| Titre de collection : | Lecture notes in computer science, Vol. 3188 : Tutorial |
| Responsabilité : | FMCO 2003, Leiden, the Netherlands, November 4-7, 2003 ; Frank S. de Boer ... [et al.] (eds.). |
Critiques
Critiques fournies par les utilisateurs
Ajoutez une critique et partagez vos impressions avec d’autres lecteurs.
Soyez le premier.
Ajoutez une critique et partagez vos impressions avec d’autres lecteurs.
Soyez le premier.
Tags
Ajoutez des tags pour "Formal methods for components and objects : second international symposium : revised lectures".
Soyez le premier.
Ouvrages semblables
Sujets associés :(14)
- SPEZIFIKATIONEN (SOFTWARE ENGINEERING)
- SOFTWAREWIEDERVERWENDUNG + KOMPONENTENBASIERTE SOFTWAREENTWICKLUNG (SOFTWARE ENGINEERING)
- OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN)
- SPÉCIFICATIONS + CONCEPTS DE PROGRAMMATION (GÉNIE LOGICIEL)
- SPECIFICATIONS (SOFTWARE ENGINEERING)
- RÉUTILISATION DU LOGICIEL (GÉNIE LOGICIEL)
- SOFTWARE REUSABILITY + SOFTWARE REUSE + COMPONENT-BASED SOFTWARE DESIGN (SOFTWARE ENGINEERING)
- PROGRAMMATION ORIENTÉE OBJETS (MÉTHODES DE PROGRAMMATION)
- OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS)
- Softwareentwicklung.
- Formale Methode.
- Objektorientierung.
- Komponente <Software>
- Formale Spezifikationstechnik.
