01080nam a2200361 4500 DLU060056209 ##19960228154410.4 ##950505s1994 si 001 0 eng d 95160957 9810219229 (DLC) 95160957 (OCoLC)32427091 CU-S CU-S DLC lccopycat 005.1 AR-A Arnold, A. (André, 1945-) Construction and analysis of transition systems with MEC / André Arnold, Didier Bégay, Paul Crubillé Singapore ; River Edge, NJ : World Scientific, c1994. vii, 192 p. : ill. ; 23 cm. AMAST series in computing ; vol. Includes bibliographical references (p. 187-189) and index. Crubillé, Paul. Bégay, Didier. 26/2006 8000 DLU True Thái Thị Thanh Thủy G A SH Thư viện Trường Đại học Đà Lạt