000
00241nam a2200109 4500
008
160616s 000 0
245
_a
Formal methods
100
_a
Beth, Evert W
500
_a
B31 K28
942
_c
BK
_2
BK4587
080
_a
510.6 BETH
999
_c
4587
_d
4587