- 2 402 202 книги
- Поиск
libcats.org
Compositionality: The Significant Difference, COMPOS'97
Willem-Paul de Roever, Hans Langmaack, Amir PnueliThis book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses.
Скачать книгу бесплатно (pdf, 3.82 Mb)
Читать «Compositionality: The Significant Difference, COMPOS'97»
Читать «Compositionality: The Significant Difference, COMPOS'97»
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Mathematical theory of black holes CH01 Mathematical preliminaries
Автор: Chandrasekhar
Размер книги: 885 Kb
Random Matrices, Frobenius Eigenvalues, and Monodromy
Автор: Nicholas M. Katz, Автор: Peter Sarnak
Размер книги: 6.88 Mb
Collins Spanish with Paul Noble (Collins Easy Learning) (Spanish and English Edition)
Автор: Paul Noble
Размер книги: 2.17 Mb
Air, Water, & Weather: Stop Faking It! Finally Understanding Science So You Can Teach It
Автор: William C. Robertson
Размер книги: 3.82 Mb
The Beginning of Infinity: Explanations That Transform the World
Автор: David Deutsch
Размер книги: 2.66 Mb
