000
00251nam a22001217a 4500
020
_a
9780262026499
082
_a
004.24
100
_a
CHRISTEL BAIER
245
_a
PRINCIPLES OF MODEL CHECKING
260
_a
USA
_b
MIT PRESS
300
_a
975
942
_c
BK
999
_c
23246
_d
23246