2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Proof Theory in Computer Science: International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001 Proceedings
Автор:
Reinhard Kahle
, Автор:
Peter Schroeder-Heister
, Автор:
Robert Stärk
Размер книги: 2.52 Mb
Abstract state machines A method for high level system design and analysis
Автор:
Egon Börger
, Автор:
Robert Stärk
Размер книги: 22.25 Mb
Proof Theory in Computer Science, PTCS 2001
Автор:
Reinhard Kahle
, Автор:
Peter Schroeder-Heister
, Автор:
Robert Stärk
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 1.73 Mb
Java and the Java Virtual Machine: Definition, Verification, Validation
Автор:
Robert F. Stärk
, Автор:
Joachim Schmid
, Автор:
Egon Börger
Размер книги: 2.38 Mb
