Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures /

Enregistré dans:
Détails bibliographiques
Auteur principal: Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever (edición)
Format: Livre
Langue:anglais
Publié: Berlín, Alemania : Springer, 2007, c2007
Collection:(Lecture Notes in Computer Science)
Accès en ligne:Ver documento en línea
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!