机读格式显示(MARC)
- 000 01671cam 2200397 a 4500
- 008 070123s2002 gw a b 101 0 eng
- 020 __ |a 3540434194 (softcover : alk. paper)
- 040 __ |a DLC |c DLC |d C$Q |d OHX |d SCT
- 050 00 |a QA76.9.S88 |b T33 2002
- 093 __ |a TP311.5-532 |2 4
- 099 __ |a CAL 022002152230 |a CAL 022002157515
- 111 2_ |a TACAS 2002 |d (2000 : |c Grenoble, France)
- 245 10 |a Tools and algorithms for the construction and analysis of systems : |b 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / |c Joost-Pieter Katoen, Perdita Stevens (eds.).
- 260 __ |a Berlin ; |a New York : |b Springer, |c c2002.
- 300 __ |a xiii, 482 p. : |b ill. ; |c 24 cm.
- 440 _0 |a Lecture notes in computer science, |x 0302-9743 ; |v 2280
- 504 __ |a Includes bibliographical references and index.
- 530 __ |a Also available via the World Wide Web. (Restricted to LINK subscribers)
- 650 _0 |a System design |v Congresses.
- 650 _0 |a Computer software |x Development |v Congresses.
- 700 1_ |a Katoen, Joost-Pieter.
- 700 1_ |a Stevens, Perdita.
- 710 2_ |a LINK (Online service)
- 711 2_ |a ETAPS 2002: |d (2002 : |c Grenoble, France)
- 856 41 |u http://link.springer-ny.com/link/service/series/0558/tocs/t2280.htm |z Restricted to Springer LINK subscribers
- 950 __ |a JHUL |b TP311.5 |c T671