Formal methods in system design
Finna-recension
Formal methods in system design
Sparad:
Språk |
engelska |
---|---|
Beskrivning |
Refereed/Peer-reviewed |
Utgivare |
Netherlands :
Kluwer Academic Publishers
[Dordrecht] : Springer Netherlands |
Klassifikation | |
DDK-klassifikation |
004.21 |
Ämnen | |
Annan form |
0925-9856 |
Publicerad |
Began with v. 1, no. 1 (July 1992) |
Utgivningsfrekvens |
Bimonthly |
ISSN |
1572-8102 |
Hämta fulltext |