"E. -R. Olderog" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

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

Real-Time Systems: Formal Specification and Automatic Verification

Автор: Ernst-Rudiger Olderog, Автор: Henning Dierks

Размер книги: 12.36 Mb

Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science)

Автор: Ernst-Rudiger Olderog, Автор: Bernhard Steffen

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

Размер книги: 6.13 Mb

Verification of Sequential and Concurrent Programs (3rd edition) (Texts in Computer Science)

Автор: Krzysztof R. Apt, Автор: Frank S. de Boer, Автор: Ernst-Rüdiger Olderog

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

Размер книги: 2.53 Mb

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Volume 23)

Автор: E.-R. Olderog

Размер книги: 5.53 Mb

Correct system design: recent insights and advances (Lecture Notes in Computer Science 1710)

Автор: Bernhard Steffen, Автор: E.-R. Olderog

Размер книги: 5.53 Mb

Real-Time Systems: Formal Specification and Automatic Verification

Автор: Ernst-Rüdiger Olderog, Автор: Henning Dierks

Размер книги: 1.73 Mb

Correct System Design

Автор: Ernst-Rüdiger Olderog, Автор: Bernhard Steffen

Категория: CsLn_

Размер книги: 5.79 Mb

Correct System Design

Автор: Ernst-Rüdiger Olderog, Автор: Bernhard Steffen

Категория: CsLn_

Размер книги: 1.59 Mb

Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

Автор: E. -R. Olderog

Категория: Cs_Computer science, CsAl_Algorithms

Размер книги: 1.25 Mb

Verification of sequential and concurrent programs

Автор: Apt K.R., Автор: de Boer F.S., Автор: Olderog E.-R. (eds.)

Размер книги: 2.10 Mb

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September ...

Автор: Werner Damm, Автор: Ernst-Rüdiger Olderog

Размер книги: 5.33 Mb