机读格式显示(MARC)
- 000 00625nam2 2200181 4500
- 020 __ |a 3-540-19581-5 |c ¥27.00
- 245 1_ |a Specification and verification of concurrent systems |c BCS-FACS Workshop on Specification and Verification of Concurrent Systems91988:Scotland) |g |A SPECIFIC |F BCSFACSW
- 260 __ |a London |b Springer-Verlag |c 1990
- 300 __ |a VIII, 610c23 cm
- 700 _0 |a BCS-FACS Workshop on Specification and Verification of Concurrent Systems91988:Scotland) |A BCSFACSW |4 著
- 905 __ |a HIEL |d TP332-53/B1