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

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

#1

Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings (Lecture ... Programming and Software Engineering)

Stefan Kowalewski, Marco Roveri

Категория: Техника

5.47 Mb

#2

Tools and algorithms for the construction and analysis of systems 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, EAuthor: Stefan Kowalewski; Anna Philippou

Stefan Kowalewski, Anna Philippou

7.35 Mb

#3

Tools and Algorithms for the Construction and Analysis of Systems, 15 conf., TACAS 2009

Stefan Kowalewski, Anna Philippou

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

5.19 Mb