杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Specification and verification of concurrent systems BCS-FACS Workshop on Specification and Verification of Concurrent Systems91988:Scotland)

出版发行项:

London Springer-Verlag 1990

ISBN:

3-540-19581-5

载体形态项:

VIII, 610c23 cm

附加个人名称:

BCS-FACS Workshop on Specification and Verification of Concurrent Systems91988:Scotland)

中图法分类号:

TP332-53

豆瓣简介：