Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Tapsoft), Berlin, March 25-29, 1985
Volume 2: Colloquium on Software Engineering (CSE)
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
1985
نویسنده
Hartmut Ehrigناشر
Springerشابک
9783540151999
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران