馆藏书目查询系统 - 上海图书馆

Author Results for Brinksma Ed.

Cover is for reference only

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

Corporate Authors: EEF/Euro Summer School on Trends in Computer Science (1st 2000 Berg en Dal, Netherlands)
Group Author: Brinksma Ed.; Hermanns Holger, 1967-; Katoen Joost-Pieter.
Published: Springer,
Publication Dates: c2001.
Call Number: TP301-1/E896/2000

Book

Cover is for reference only

Computer aided verification：14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

Corporate Authors: CAV (Conference) (14th 2002 Copenhagen, Denmark)
Group Author: Brinksma Ed.; Larsen K. G.; (Kim G.), 1957-
Published: Springer,
Publication Dates: 2002.
Call Number: TP301-532/C738/2002

Book

Narrow Search