Industrial strength formal methods in practice
Michael G. Hinchey and Jonathan P. Bowen, (eds)
Bok Engelsk 1999
Utgitt | Berlin : Springer , c1999
|
---|---|
Omfang | xvi, 400 s. : fig.
|
Emner | |
ISBN | 1852336404
|
Utgitt | Berlin : Springer , c1999
|
---|---|
Omfang | xvi, 400 s. : fig.
|
Emner | |
ISBN | 1852336404
|