Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

AuthorMOVEP 2000 (2000 : Nantes, France)
TitleModeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures / Franck Cassez ... [et al.] (eds.)
Imprint Berlin : Springer, c2001
Descript 222 p. : ill. ; 24 cm

CONTENT

UPPAAL -- HMSCs -- Testing transition Systems -- Mobile Processes


Parallel processing (Electronic computers)

LOCATIONCALL#STATUS
Central Library (4th Floor)004.358 M935MCHECK SHELVES

Chulalinet's Book Delivery Request




Location



Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network

  line

facebook   instragram