Formal methods in system design
| Τίτλος | Formal methods in system design |
| Συντομογραφία | Form. methods syst. des. |
| ISSN | 0925-9856 |
| Έτη έκδοσης | 1992- |
| Γλώσσα | Αγγλική |
| Χώρα | Ηνωμένες Πολιτείες Αμερικής |
| Άλλη έκδοση σε διαφορετικό μέσο | Formal methods in system design (Dordrecht. Online) [ISSN 1572-8102] |
| Τίτλος | Formal methods in system design |
| Τίτλος κλειδί | Formal methods in system design |
| Συντομογραφία | Form. methods syst. des. |
| ISSN | 0925-9856 |
| Έτη έκδοσης | 1992- |
| Δημοσίευση | London ; Kluwer Academic Publishers |
| Γλώσσα | Αγγλική |
| Χώρα | Ηνωμένες Πολιτείες Αμερικής |
| Άλλη έκδοση σε διαφορετικό μέσο | Formal methods in system design (Dordrecht. Online) [ISSN 1572-8102] |
| UDC Ταξινόμηση | 681.3 [current] |