Principles of Model Checking /
Baier, Christel
Principles of Model Checking / by Christel Baier. - Cambridge, Mass. : The MIT Press, 2008. - xvii, 975 p. : ill. ;
Include Index
9780262026499
Principles of model checking
004.24 / BAI/P
Principles of Model Checking / by Christel Baier. - Cambridge, Mass. : The MIT Press, 2008. - xvii, 975 p. : ill. ;
Include Index
9780262026499
Principles of model checking
004.24 / BAI/P