Applications of formal methods
Finna-recension
Applications of formal methods
Sparad:
Fysisk beskrivning |
xvii, 447 s |
---|---|
Språk |
engelska |
Förlag |
London :
Prentice Hall,
1995.
|
Klassifikation | |
Ämnen | |
Mer information | ed. by Michael G. Hinchey and Jonathan P. Bowen |
ISBN |
0-13-366949-1 sidottu |
Hämta fulltext |