libcats.org
Главная

Model checking

Обложка книги Model checking

Model checking

, ,
Model Checking is bound to be the pre-eminent source for research, teaching, and industrial practice on this important subject. The authors include the foremost experts. This is the first truly comprehensive treatment of a line of research that has gone from conception to industrial practice in only two decades.
Популярные книги за неделю:

Каникулы

Автор:
Размер книги: 13 Kb

Очищение

Автор:
Категория: История
Размер книги: 602 Kb

Ремонт импортных телевизоров

Автор: , Автор:
Категория: civil, civil, hardware
Размер книги: 5.24 Mb

Быль-сказка о карандашах и красках

Автор:
Категория: Children
Размер книги: 5.81 Mb

Mein Kampf

Автор:
Категория: fiction
Размер книги: 701 Kb
Только что пользователи скачали эти книги:

40oz For Breakfast

Автор:
Размер книги: 3 Kb

Plasma Processes for Semiconductor Fabrication

Автор:
Размер книги: 12.79 Mb

Автор:
Категория: fiction
Размер книги: 1.21 Mb

Автор:
Категория: fiction
Размер книги: 913 Kb

The Favorites

Автор:
Категория: fiction
Размер книги: 334 Kb

Dada Jihad [Short stories]

Автор:
Категория: fiction
Размер книги: 63 Kb