aller au contenu
Formal methods for components and objects : second international symposium : revised lectures
FermerAperçu de cet ouvrage

Formal methods for components and objects : second international symposium : revised lectures

Auteur : Frank S de Boer; et al
Éditeur : Berlin : Springer, 2004.
Collection : Lecture notes in computer science, Vol. 3188 : Tutorial
Édition/format :   Livre : Anglais
Évaluation :

(pas encore évalué) 0 avec des critiques - Soyez le premier.

 

Trouver un exemplaire en ligne

Liens vers cet ouvrage

Trouver un exemplaire dans la bibliothèque

Récupération en cours... 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
Récupération des critiques de weRead...
Récupération des critiques de GoodReads...
Récupération des critiques d’Amazon...

Tags

Soyez le premier.
Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.