Applied formal verification
Douglas L. Perry, Harry D. Foster
Bok Engelsk 2005
Utgitt | New York : McGraw-Hill , c2005
|
---|---|
Omfang | XIV, 237 s. : ill.
|
Emner | |
ISBN | 007144372X
|
Utgitt | New York : McGraw-Hill , c2005
|
---|---|
Omfang | XIV, 237 s. : ill.
|
Emner | |
ISBN | 007144372X
|