ETAPS
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 (平装
ISBN:9783540434191在线阅读本书 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 (平装)
ISBN:9783540418658在线阅读本书 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
ISBN:9783540418627This 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 (平装)
ISBN:9783540418634在线阅读本书 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
ISBN:9783540418641在线阅读本书 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