机读格式显示(MARC)

• 000 01605cam 2200373 a 4500

• 000 1000078197

• 001 0000302045

• 005 20060221104404.0

• 008 010726s2001 gw a b 101 0 eng

• 010 __ |a 2001049290

• 020 __ |a 3540424792 : |c CNY400.00

• 040 __ |a DLC |c DLC |d CtY |d SCT

• 042 __ |a pcc

• 050 00 |a QA76.9.F67 |b E34 2000

• 090 __ |a TP311.5-53/EEF

• 093 __ |a TP311.5-53 |2 4

• 099 __ |a CAL 022001459486 |a CAL 022001463022

• 111 2_ |a EEF/Euro Summer School on Trends in Computer Science |n (1st : |d 2000 : |c Berg en Dal, Netherlands)

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

• 260 __ |a Berlin ; |a New York : |b Springer, |c c2001.

• 300 __ |a vi, 429 p. : |b ill. ; |c 24 cm.

• 490 1_ |a Lecture notes in computer science, |x 0302-9743 ; |v 2090. |a Tutorial

• 504 __ |a Includes bibliographical references and index.

• 530 __ |a Available also through Springer LINK.

• 650 _0 |a Formal methods (Computer science) |v Congresses.

• 700 1_ |a Katoen, Joost-Pieter.

• 700 1_ |a Brinksma, Ed.

• 700 1_ |a Hermanns, Holger, |d 1967-

• 830 _0 |a Lecture notes in computer science ; |v 2090.

• 830 _0 |a Lecture notes in computer science. |p Tutorial.

• 901 __022006000043

• 905 __ |a CAU |f TP311.5-53/EEF |b W0075201(or.)

• 907 __ |a CAU |f TP311.5-53/EEF |b W0075201(or.)

• 999 __ |t C |A xy1 |a 20060221 10:41:37 |I xy1 |i 20060221 10:44:04 |G wzhlc |g 20060322 13:42:3