![Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Tapsoft), Berlin, March 25-29, 1985](https://dl.bookem.ir/covers/ISBN13/9783540151999.jpg)
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
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران