Real-time systems : formal specification and automatic verification
Ernst-Rüdiger Olderog and Henning Dierks
Bok Engelsk 2008
Utgitt | Cambridge : Cambridge University Press , 2008
|
---|---|
Omfang | XVI, 320 s. : ill.
|
Emner | |
Dewey | |
ISBN | 9780521883337
|
Utgitt | Cambridge : Cambridge University Press , 2008
|
---|---|
Omfang | XVI, 320 s. : ill.
|
Emner | |
Dewey | |
ISBN | 9780521883337
|