دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings
زبان : English
نویسندگان : Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 1996
ISBN (شابک) : 3540610421, 9783540610427
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 1055
تعداد صفحات : 443[446]
حجم : 4 مگابایت
فرمت کتاب : djvu
قیمت : 36000 تومان
