江汉大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Modeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures / Franck Cassez ... [et al.] (eds.).

出版发行项:

Berlin ; New York : Springer, c2001.

ISBN:

3540427872 (softcover : alk. paper)

载体形态项:

x, 222 p. : ill. ; 24 cm.

变异题名:

MOVEP 2000

丛编说明:

Lecture notes in computer science, 0302-9743 ; 2067. Tutorial

丛编统一题名:

Lecture notes in computer science ; 2067.

丛编统一题名:

Lecture notes in computer science. Tutorial.

会议名称:

MOVEP 2000 (2000 : Nantes, France)

附加个人名称:

Cassez, Franck, 1967-

论题主题:

Parallel processing (Electronic computers)-Congresses.

中图法分类号:

TP338.6-532

中图法分类号:

TP338.6

书目附注:

Includes bibliographical references and index.

载体形态附注:

Also available via the World Wide Web.

电子资源:

http://link.springer-ny.com/link/service/series/0558/tocs/t2067.htm

豆瓣简介：