01335nam a2200361 4500 DLU030023169 ##20011015111817.0 ##010726s2001 gw a b 101 0 eng 2001049290 3540424792 (pbk. : alk. paper) DLC DLC DLC pcc QA76.9.F67 E34 2000 004.015 1 EEF EEF/Euro Summer School on Trends in Computer Science (1st : 2000 : Berg en Dal, Netherlands) 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. vi, 429 p. : ill. ; 24 cm. Lecture notes in computer science, 0302-9743 ; 2090 Includes bibliographical references and index. Formal methods (Computer science) Congresses. Brinksma, Ed. Hermanns, Holger, 1967- Katoen, Joost-Pieter. 75.34 DLU True Phan Ngọc Đông G A SH Thư viện Trường Đại học Đà Lạt