Principles of model checking
Christel Baier, Joost-Pieter Katoen
Bok Engelsk 2008
Utgitt | Cambridge, Mass. : MIT Press , [2008]
|
---|---|
Omfang | XVII, 975 s. : ill.
|
Emner | |
ISBN | 9780262026499
|
Utgitt | Cambridge, Mass. : MIT Press , [2008]
|
---|---|
Omfang | XVII, 975 s. : ill.
|
Emner | |
ISBN | 9780262026499
|