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] |