Tools and Algorithms for the Construction and Analysis of Systems

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 1st الإصدار تمت الكتابة بواسطة JoostPieter Katoen; Perdita Stevens وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Tools and Algorithms for the Construction and Analysis of Systems هي 9783540460022, 3540460020 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540434191, 3540434194. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

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 1st الإصدار تمت الكتابة بواسطة JoostPieter Katoen; Perdita Stevens وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Tools and Algorithms for the Construction and Analysis of Systems هي 9783540460022, 3540460020 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540434191, 3540434194. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.