01681nam a2200337 a 4500 vtls000025255 KUKTEM 20251117145158.0 080307s2007 gw a f bi 001 0 eng d 2007-926022 3540724826 (pbk.) 9783540724827 (pbk.) 201107132040 VLOAD 200908141512 VLOAD 200908141442 VLOAD 200908132023 VLOAD 200803071007 shah UMP QA76.9.F67 I58 2007 International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th : 2007 : Bertinoro, Italy) Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 ; advanced lectures / Marco Bernardo, Jane Hillston (eds.) SFM 2007. Berlin : Springer, 2007. vi, 467 p. : ill. ; 24 cm. Lecture notes in computer science, 0302-9743 ; 4486. Lectures. Includes bibliographical references and index. Online version also available. Formal methods (Computer science) Congresses. Integrated circuits Verification Congresses. Bernardo, Marco. Hillston, J. (Jane), 1963- http://ebooks.ohiolink.edu/xtf-ebc/view?docId=tei/sv/9783540725220/9783540725220.xml Connect to resource online 0 0 0 0 20000 20000 2019-09-04 54.00 0 QA76.9.F67 I58 2007 0000031748 2019-09-04 00:00:00 1 54.00 2019-09-04 OPEN VIRTUA40 40985 40991 VTLSSORT0080*0100*0200*0201*0400*0900*1110*2450*2460*2600*3000*4400*5000*5040*5300*6500*6501*7000*7001*8560*9991