" Robert Stärk" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

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

#1

Proof Theory in Computer Science: International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001 Proceedings

Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk

2.52 Mb

#2

Abstract state machines A method for high level system design and analysis

Egon Börger, Robert Stärk

22.25 Mb

#3

Proof Theory in Computer Science, PTCS 2001

Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk

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

1.73 Mb

#4

Java and the Java Virtual Machine: Definition, Verification, Validation

Robert F. Stärk, Joachim Schmid, Egon Börger

2.38 Mb