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

Online Public Access Catalogue

题名/责任者:

ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings / Didier Bert ... [et al.] (eds.).

出版发行项:

Berlin ; New York : Springer, c2002.

ISBN:

3540431667

载体形态项:

xii, 534 p. : ill. ; 24 cm.

变异题名:

Formal specification and development in Z and B

丛编题名:

Lecture notes in computer science, 0302-9743 ; 2272

会议名称:

International Conference of B and Z Users (2nd : 2002 : Grenoble, France)

附加个人名称:

Bert, Didier.

论题主题:

B (Computer program language)-Congresses.

论题主题:

Z (Computer program language)-Congresses.

中图法分类号:

TP312-532

中图法分类号:

TP312

书目附注:

Includes bibliographical references and index.

载体形态附注:

Available also through Springer LINK.

电子资源:

http://springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2272&issue=preprint

豆瓣简介：