دانلود کتاب Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

مدل سازی و تحلیل رسمی سیستم های بهنگام: پنجمین کنفرانس بین المللی ، FORMATS 2007 ، سالزبورگ ، اتریش ، 3-5 اکتبر ، 2007. مجموعه مقالات

زبان : English

نویسندگان : Joost-Pieter Katoen (auth.), Jean-François Raskin, P. S. Thiagarajan (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2007

ISBN (شابک) : 3540754539, 9783540754534

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 4763 : Theoretical Computer Science and General Issues

تعداد صفحات : 372[378]

حجم : 4 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان