01261nam a2200301 a 4500 vtls000023574 KUKTEM 20251117144449.0 080117s2006 gw f 001 0 eng|d 3540372156 9783540372158 201107131949 VLOAD 200908141402 VLOAD 200908141334 VLOAD 200908131730 VLOAD 200801171500 kam UMP QA76.76.D47 I58 2006 International Symposium of Formal Methods Europe (14th : 2006 : Hamilton, Ont.) FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings / Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.) Berlin : Springer, 2006 620 p. : ill. ; 24 cm. Lecture notes in computer science ; 4085 Computer software Development Congresses Formal methods (Computer science) Congresses System design Mathematics Congresses Misra, Jayadev Nipkow, Tobias Sekerinski, Emil 0 0 0 0 20000 20000 2019-09-04 1 QA76.76.D47 I58 2006 0000027990 2023-09-13 00:00:00 2023-09-05 1 2019-09-04 OPEN VIRTUA40 36854 36860 VTLSSORT0080*0200*0201*0400*0900*1110*2450*2600*3000*4400*6500*6501*6502*7000*7001*7002*9991 1