The
Lib
.net
Online Library TheLib.net
» Author books / Книги автора Robert P. Kurshan
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
pdf
Author:
Robert P. Kurshan
Language:
English
Year:
2014
0
0
02.03.2024
0
0
Read online
Investment Industry Claims Debunked: Smart Personal Finance Management For Ordinary Folks, Before and After Retirement
epub
Author:
Robert P. Kurshan
Language:
English
Year:
2021
0
0
15.02.2024
0
0
Read online
Verification of Digital and Hybrid Systems
pdf
Author:
Kenneth McMillan (auth.) M. Kemal Inan Robert P. Kurshan (eds.)
Language:
English
Year:
2000
0
0
27.01.2024
0
0
Read online
Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002 Kananaskis, Alberta, Canada August 2–4, 2002 Proceedings
pdf
Author:
Robert P. Kurshan (auth.) Sven Koenig Robert C. Holte (eds.)
Language:
English
Year:
2002
0
0
27.01.2024
0
0
Read online
Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings
djvu
Author:
Edmund M. Clarke Jr. (auth.) Edmund M. Clarke Robert P. Kurshan (eds.)
Language:
English
Year:
1991
0
0
26.01.2024
0
0
Read online
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
