Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440)
Publication year: 2005
: 978-3-540-31980-1
This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials.
: Computer Science, Debugging, Java, Serial ATA, Simulation, algorithms, automata, logic, program analysis, programming, systems analysis, systems design, systems development, systems modeling, systems specification, systems verification
