FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS
সংরক্ষণ করুন:
প্রধান লেখক: | |
---|---|
বিন্যাস: | গ্রন্থ |
প্রকাশিত: |
NEW YORK
MCGRAW HILL
1994
|
ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
MARC
LEADER | 00000nam a2200000Ia 4500 | ||
---|---|---|---|
100 | |a MILNE GEORGE | ||
250 | |||
020 | |||
245 | |a FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS | ||
260 | |b MCGRAW HILL |a NEW YORK |c 1994 | ||
082 | |a R621.381 | ||
300 | |a xi , 256 | ||
952 | |0 0 |1 0 |4 0 |6 R_621_381000000000000 |7 0 |9 40677 |a 00000044 |b 00000044 |d 2011-05-23 |g 1839.29 |l 0 |o R621.381 |p 26173 |r 2017-05-16 00:00:00 |w 2017-05-16 |y BK | ||
999 | |c 16565 |d 16565 |