Tools and Algorithms for the Construction of Analysis of Systems 1st 版

5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings

Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings 1st 版 著者: W. Rance Cleaveland 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Tools and Algorithms for the Construction of Analysis of Systems : 9783540490593, 3540490590 および 印刷版のISBNは 9783540657033, 3540657037. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings 1st 版 著者: W. Rance Cleaveland 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Tools and Algorithms for the Construction of Analysis of Systems : 9783540490593, 3540490590 および 印刷版のISBNは 9783540657033, 3540657037. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。