01390nam a2200313 a 4500 vtls000025799 KUKTEM 20251117145300.0 080327s gw a b 101 0 eng 3540731954 (pbk.) 9783540731955 (pbk.) 201107132105 VLOAD 200908141546 VLOAD 200908141517 VLOAD 200908132045 VLOAD 200803270939 shah UMP QA76.9.F67 F67 2007 FORTE 2007 (2007 : Tallinn, Estonia) Formal techniques for networked and distributed systems : FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings / John Derrick, Jüri Vain (eds.). FORTE 2007 Boca Raton : Springer , 2007 Berlin ; New York : Springer, c2007. Lecture notes in computer science, 0302-9743 ; 4574 Includes bibliographical references and index. Formal methods (Computer science) Congresses. Electronic data processing Distributed processing Congresses. Computer network protocols Congresses. Derrick, John. Vain, Jüri. IFIP Working Group 6.1. 0 0 0 0 20000 20000 2019-09-04 338.61 0 QA76.9.F67 F67 2007 0000034386 2019-09-04 00:00:00 1 338.61 2019-09-04 OPEN VIRTUA40 43050 43056 VTLSSORT0080*0200*0201*0400*0900*1110*2450*2460*2600*3000*4400*5040*6500*6501*6502*7000*7001*7100*9991