๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[IEEE IEEE TENCOM'02. 2002 IEEE Region 10 Conference on Computer, Communications, Control and Power Engineering - Beijing, China (28-31 Oct. 2002)] 2002 IEEE Region 10 Conference on Computers, Communications, Control and Power Engineering. TENCOM '02. Proceedings. - The design and implementation of rapid formal-specification tool based on component

โœ Scribed by Boon-Hee Kim, ; Sam-Taek Kim, ; Young-Chan Kim,


Book ID
120271791
Publisher
IEEE
Year
2002
Weight
292 KB
Volume
3
Category
Article
ISBN-13
9780780374904

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES