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 平装