BAIER, C.
PRINCIPLES OF MODEL CHECKING - Cambridge MIT Press 2008 - xvii+975p.,26x21Cms.
0262026499
621.3819642 B1529
PRINCIPLES OF MODEL CHECKING - Cambridge MIT Press 2008 - xvii+975p.,26x21Cms.
0262026499
621.3819642 B1529