libcats.org
Главная →
Teaching Formal Methods: CoLogNET FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science)
Teaching Formal Methods: CoLogNET FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science)
C. Neville Dean, Raymond T. Boute
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги:
#2
Справочник строителя. Строительная техника, конструкции и технологии (в 2-х томах). Сборник под ред. X.Нестле
Авторы: Фрей Хансйорг, Херрманн Август, Краузевиц Гюнтер, Кун Фолькер, Лилих Иоахим, Нестле Ханс, Нутч Вольфганг, Шульц Петер, Трауб Мартин, Вайбель Хельмут, Вернер Хорст. Перевод с немецкого А.К.Соловьева.
|