Поиск :
Личный кабинет :
Электронный каталог: Paulson, L. C. - Isabelle
Paulson, L. C. - Isabelle
Доступно
1 из 1
1 из 1
Книга
Автор: Paulson, L. C.
Isabelle : A Generic Theorem Prover
Серия: Lecture Notes in Computer Science
Издательство: Springer, 1994 г.
ISBN отсутствует
Автор: Paulson, L. C.
Isabelle : A Generic Theorem Prover
Серия: Lecture Notes in Computer Science
Издательство: Springer, 1994 г.
ISBN отсутствует
Заказать 
На полку
Книга
Ц840 P-33
Paulson, L.C.
Isabelle : A Generic Theorem Prover / L.C.Paulson. – Berlin [etc.] : Springer, 1994. – XVII,321 p.:il. – (Lecture Notes in Computer Science, ISSN 0302-9743 ; Vol.828). – Bibliogr.:p.301-304.
Ц840
Индексный (книги) = Ц 840 - Программирование. Общие вопросы
Ц840 P-33
Paulson, L.C.
Isabelle : A Generic Theorem Prover / L.C.Paulson. – Berlin [etc.] : Springer, 1994. – XVII,321 p.:il. – (Lecture Notes in Computer Science, ISSN 0302-9743 ; Vol.828). – Bibliogr.:p.301-304.
Ц840
Индексный (книги) = Ц 840 - Программирование. Общие вопросы
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЗИЛ | 1 | 1 | 1 | Заказать |