" Helmut Veith" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, ... Computer Science and General Issues)

Anuj Dawar, Helmut Veith

Категория: Компьютеры

6.39 Mb

#2

25 Years of Model Checking

Orna Grumberg, Helmut Veith

Категория: CsLn_

4.00 Mb

#3

25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Orna Grumberg, Helmut Veith

Категория: Computer Science, Computer Science

41.36 Mb