Formal Methods for Components and Objects [electronic resource] 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers edited by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel
Τύπος υλικού: ΚιτΓλώσσα: Αγγλικά Σειρά: Lecture Notes in Computer Science ; 6286Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer Berlin Heidelberg 2010Περιγραφή: v.: digitalISBN:- 9783642170713
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|
Electronic Resource | ΒΚΠ - Πατρα | Διαθέσιμο |