" K.Rustan M. Leino" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

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

#1

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)

Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt

5.36 Mb

#2

Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2011

Parosh Aziz Abdulla, K.Rustan M. Leino

5.05 Mb