Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings (ƽװ

ÔÚÏßÔĶÁ±¾Êé This book constitutes the refereed proceedings of the 8th International Confere...

Tools and Algorithms for the Construction and Analysis of Systems 8 th International Conference TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2002 Grenoble France April 8 12 2002 Proceedings ƽװ

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings (ƽװ)

ÔÚÏßÔĶÁ±¾Êé This book constitutes the refereed proceedings of the 7th International Con...

Tools and Algorithms for the Construction and Analysis of Systems 7 th International Conference TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2001 Genova Italy April 2 6 2001 Proceedings ƽװ

Programming Languages and Systems: 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

This book constitutes the refereed proceedings of the 10th European Symposium on Programming, ESOP ...

Programming Languages and Systems 10 th European Symposium on Programming ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2001 Genova Italy April 2 6 2001 Proceedings

Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings (ƽװ)

ÔÚÏßÔĶÁ±¾Êé This book constitutes the refereed proceedings of the 4th Internation...

Fundamental Approaches to Software Engineering 4 th International Conference FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2001 Genova Italy April 2 6 2001 Proceedings ƽװ

Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings

ÔÚÏßÔĶÁ±¾Êé This book constitutes the refereed proceedings of the 4th International Con...

Foundations of Software Science and Computation Structures 4 th International Conference FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2001 Genova Italy April 2 6 2001 Proceedings