
Temporal Logic in Specification
Altrincham, UK, April 8-10, 1987, Proceedings
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
1989
نویسنده
Howard Barringerناشر
Springerشابک
9783540518037
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران