Электронный каталог Национальной библиотеки Беларуси :: Национальная Библиотека РБ

result_checkbox_label
1

Mathematical Methods of Specification and Synthesis of Software Systems´85: Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22-26, 1985 / edited by Wolfgang Bibel, Klaus P. Jantke. Band 31. - Berlin : Akademie-Verlag, 1986. - 245 s.

Другие авторы/ответственные: '; “...Bibel, W....”

Книги

Добавить в Избранное

Сохранено в:
result_checkbox_label
2

5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 / edited by W. Bibel and R. Kowalski. - Berlin [etc.] : Springer-Verlag, 1980. - 385 p. - (Lecture Notes in Computer Science)

Другие авторы/ответственные: '; “...Bibel, W....”

Книги

Добавить в Избранное

Сохранено в: