|
|
|
|
LEADER |
01335nam a2200361 4500 |
001 |
DLU030023169 |
005 |
##20011015111817.0 |
008 |
##010726s2001 gw a b 101 0 eng |
010 |
# |
# |
|a 2001049290
|
020 |
# |
# |
|a 3540424792 (pbk. : alk. paper)
|
040 |
# |
# |
|a DLC
|c DLC
|d DLC
|
042 |
# |
# |
|a pcc
|
050 |
# |
# |
|a QA76.9.F67
|b E34 2000
|
082 |
# |
# |
|a 004.015 1
|b EEF
|
111 |
# |
# |
|a EEF/Euro Summer School on Trends in Computer Science
|n (1st :
|d 2000 :
|c Berg en Dal, Netherlands)
|
245 |
# |
# |
|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.
|
440 |
# |
# |
|a Lecture notes in computer science,
|x 0302-9743 ;
|v 2090
|
504 |
# |
# |
|a Includes bibliographical references and index.
|
650 |
# |
# |
|a Formal methods (Computer science)
|v Congresses.
|
700 |
# |
# |
|a Brinksma, Ed.
|
700 |
# |
# |
|a Hermanns, Holger,
|d 1967-
|
700 |
# |
# |
|a Katoen, Joost-Pieter.
|
992 |
# |
# |
|a 75.34
|
994 |
# |
# |
|a DLU
|
900 |
# |
# |
|a True
|
911 |
# |
# |
|a Phan Ngọc Đông
|
925 |
# |
# |
|a G
|
926 |
# |
# |
|a A
|
927 |
# |
# |
|a SH
|
980 |
# |
# |
|a Thư viện Trường Đại học Đà Lạt
|