Formal methods in system design (Dordrecht. Online) (Ηλεκτρονικό)
| Τίτλος | Formal methods in system design. |
| Συντομογραφία | Form. methods syst. des. (Dordr., Online) |
| ISSN | 1572-8102 |
| Έτη έκδοσης | 2002- |
| Γλώσσα | Αγγλική |
| Χώρα | Ολλανδία |
| Άλλη έκδοση σε διαφορετικό μέσο | Formal methods in system design [ISSN 0925-9856] |
| Τίτλος | Formal methods in system design. |
| Τίτλος κλειδί | Formal methods in system design (Dordrecht. Online) |
| Συντομογραφία | Form. methods syst. des. (Dordr., Online) |
| ISSN | 1572-8102 |
| Έτη έκδοσης | 2002- |
| Δημοσίευση | Dordrecht : Kluwer |
| Γλώσσα | Αγγλική |
| Χώρα | Ολλανδία |
| Άλλη έκδοση σε διαφορετικό μέσο | Formal methods in system design [ISSN 0925-9856] |
| UDC Ταξινόμηση | 681.3 [current] |
Το συγκεκριμένο περιοδικό δεν ανήκει στη συλλογή καμίας βιβλιοθήκης.