籌款 9月15日 2024 – 10月1日 2024 關於籌款
1
Mathematical Theory of Computation

Mathematical Theory of Computation

Zohar Manna
年:
2003
語言:
english
文件:
PDF, 15.09 MB
0 / 0
english, 2003
2
Temporal Verification of Reactive Systems: Safety

Temporal Verification of Reactive Systems: Safety

Zohar Manna, Amir Pnueli
年:
1995
語言:
english
文件:
PDF, 23.93 MB
0 / 0
english, 1995
3
Mathematical Theory of Computation

Mathematical Theory of Computation

Zohar Manna
年:
1974
語言:
english
文件:
DJVU, 3.21 MB
0 / 0
english, 1974
4
Lectures on the logic of computer programming

Lectures on the logic of computer programming

Zohar Manna
年:
1987
語言:
english
文件:
DJVU, 312 KB
0 / 0
english, 1987
5
Lectures on the Logic of Computer Programming

Lectures on the Logic of Computer Programming

Zohar Manna
年:
1987
語言:
english
文件:
PDF, 1.66 MB
0 / 0
english, 1987
6
The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive and Concurrent Systems: Specification

Zohar Manna, Amir Pnueli
年:
1991
語言:
english
文件:
DJVU, 2.80 MB
0 / 0
english, 1991
8
Lectures on the logic of computer programming

Lectures on the logic of computer programming

Zohar Manna
年:
1987
語言:
english
文件:
DJVU, 269 KB
0 / 0
english, 1987
10
Lectures on the logic of computer programming

Lectures on the logic of computer programming

Zohar Manna
年:
1987
語言:
english
文件:
DJVU, 258 KB
0 / 0
english, 1987
11
Lectures on the Logic of Computer Programming

Lectures on the Logic of Computer Programming

Zohar Manna
年:
1980
語言:
english
文件:
DJVU, 331 KB
0 / 0
english, 1980
12
Lectures on the Logic of Computer Programming

Lectures on the Logic of Computer Programming

Zohar Manna
年:
1987
語言:
english
文件:
DJVU, 312 KB
0 / 0
english, 1987
13
计算的数学理论 下

计算的数学理论 下

ZOHAR MANNA著；王冬生译
年:
1979
語言:
chinese
文件:
PDF, 14.44 MB
0 / 0
chinese, 1979
14
The Calculus of Computation: Decision Procedures with Applications to Verification

The Calculus of Computation: Decision Procedures with Applications to Verification

Aaron R. Bradley, Zohar Manna
年:
2007
語言:
english
文件:
PDF, 2.62 MB
5.0 / 5.0
english, 2007
15
The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive and Concurrent Systems: Specification

Zohar Manna, Amir Pnueli (auth.)
年:
1992
語言:
english
文件:
PDF, 8.62 MB
0 / 0
english, 1992