2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Главная
→
FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
ВКонтакте
Одноклассники
Telegram
FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
Lars-Henrik Eriksson
,
Peter A. Lindsay
Proceedings of the Intl Symposium of Formal Methods, held July 22-24, 2002 in Copenhagen, Denmark. All current aspects of formal methods are addressed, from foundational and methodological issues to advanced application in various fields. Softcover.
Скачать книгу бесплатно
(pdf, 5.34 Mb)
Читать «FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings »
EPUB
|
FB2
|
MOBI
|
TXT
|
RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
#1
В.Н.Носов. Полупроводники и их применение (1968, djvu)
1.03 Mb
#2
Самодельные детали для сельского радиоприемника
Авторы: З.Б.Гинзбург
,
Ф.И.Тарасов.
Категория:
радиоэлектроника
1.40 Mb
#3
Радиолюбительские конструкции
Вознюк В.В.
1.99 Mb
#4
Английский школьникам. Тренажер по чтению. Буквы и звуки
Е. В. Русинова
12.41 Mb
#5
Детали машин. Краткий курс и тестовые задания
Олофинская В.П.
Категория:
science
,
technical
,
civil
,
engineer
,
civil
,
tech
,
civil
27.33 Mb
#6
Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапах
Роман Савин
Категория:
info
,
manual
,
computers
,
computers
,
manuals
5.26 Mb
#7
Путь к здоровью и долголетию
Горен Михаэль
Категория:
Здоровье
1.13 Mb
#8
Система упражнений по развитию способностей человека (Практическое пособие)
Петров Аркадий Наумович
Категория:
Путь к себе
818 Kb
#9
Самоделки школьника
Тарасов Б.В.
Категория:
science
,
science
,
technical
,
hobby
,
oddjob
41.91 Mb
#10
Электронные схемы и их применение
Сентурия С.
,
Уэдлок Б.
10.14 Mb
Только что пользователи скачали эти книги:
#1
Маленькие истории для непослушных детей
Малышева Елена
Категория:
Детская литература
12 Kb
#2
Андрей Столяров. Малый апокриф
31 Kb
#3
СУДЬБА БАРАБАНЩИКА. ХАРДРОКОВАЯ ПОВЕСТЬ
Лукошин Олег Константинович
Категория:
Современная проза
,
Контркультура
203 Kb
#4
A Business and Its Beliefs: The Ideas That Helped Build IBM
Thomas J. Watson
128 Kb
#5
Лучший способ выучить астрологию
Марч Марион
,
Мак-Эверс Джоан
Категория:
Астрология
1.18 Mb
#6
The Way Up from Down
Priscilla Slagle
Категория:
science_books
,
medicine
11.29 Mb
#7
My Best Games Of Chess 1908-1923
A. Alekhine
Категория:
шахматы
11.08 Mb
#8
Plutarch's Lives, Volume VIII: Sertorius and Eumenes. Phocion and Cato the Younger (Loeb Classical Library No. 100)
Plutarch
,
Bernadotte Perrin (trans.)
10.71 Mb
#9
Webb Society Deep-Sky Observer's Handbook, Vol. 2: Planetary and Gaseous Nebulae
Kenneth Glyn Jones
Категория:
Компьютеры
,
Системное администрирование
41.18 Mb
#10
Технология ручной ковки
Вишневецкий Я.С.
3.88 Mb