" Werner Damm" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

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

#1

Computer Aided Verification, 19 conf., CAV 2007

Werner Damm, Holger Hermanns

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

7.71 Mb

#2

Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG). Final Report (Lecture Notes in Computer Science)

Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper

Категория: Computing & information technology

6.64 Mb

#3

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