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

Online Public Access Catalogue

题名/责任者:

Lectures on formal methods and performance analysis : First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures / Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.).

出版发行项:

Berlin ; New York : Springer, c2001.

ISBN:

3540424792

载体形态项:

vi, 429 p. : ill. ; 24 cm.

丛编说明:

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

丛编统一题名:

Lecture notes in computer science ; 2090.

丛编统一题名:

Lecture notes in computer science. Tutorial.

会议名称:

EEF/Euro Summer School on Trends in Computer Science (1st : 2000 : Berg en Dal, Netherlands)

附加个人名称:

Brinksma, Ed.

附加个人名称:

Hermanns, Holger, 1967-

附加个人名称:

Katoen, Joost-Pieter.

论题主题:

Formal methods (Computer science)-Congresses.

中图法分类号:

TP311.5-532

中图法分类号:

TP311.5

书目附注:

Includes bibliographical references and index.

载体形态附注:

Available also through Springer LINK.

电子资源:

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

豆瓣简介：