Orna Grumberg: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (16)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Model checking

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

Рік:

1999

Мова:

english

Файл:

DJVU, 1.88 MB

0 / 0

english, 1999

2

Model Checking (Cyber Physical Systems Series)

Model Checking (Cyber Physical Systems Series)

Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

Рік:

2018

Мова:

english

Файл:

EPUB, 15.52 MB

0 / 5.0

english, 2018

3

Model Checking

Model Checking

Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

Рік:

2018

Мова:

english

Файл:

EPUB, 13.56 MB

0 / 0

english, 2018

4

25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)

Рік:

2008

Мова:

english

Файл:

PDF, 41.36 MB

0 / 0

english, 2008

5

Model checking

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

Рік:

1999

Мова:

english

Файл:

DJVU, 3.22 MB

0 / 0

english, 1999

6

Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness

Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller

Рік:

2008

Мова:

english

Файл:

PDF, 1.73 MB

0 / 0

english, 2008

7

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.), Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 3.72 MB

0 / 0

english, 2009

8

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedi

Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedi

Springer-Verlag Berlin Heidelberg

Rance Cleaveland (auth.), Orna Grumberg, Michael Huth (eds.)

Рік:

2007

Мова:

english

Файл:

PDF, 8.60 MB

0 / 0

english, 2007

9

Model Checking

Model Checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

Рік:

1999

Мова:

english

Файл:

DJVU, 2.13 MB

0 / 0

english, 1999

10

Dependable software systems engineering

Dependable software systems engineering

Ios Pr Inc; IOS Press

Esparza, Javier(Editor), Grumberg, Orna(Editor), Sickert, Salomon(Editor)

Рік:

2016

Мова:

english

Файл:

PDF, 5.91 MB

5.0 / 0

english, 2016

11

Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings

Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

F. Erich Marschner (auth.), Orna Grumberg (eds.)

Рік:

1997

Мова:

english

Файл:

DJVU, 5.29 MB

0 / 0

english, 1997

12

25 Years of Model Checking History, Achievements, Perspectives

25 Years of Model Checking History, Achievements, Perspectives

Springer Berlin Heidelberg

Grumberg, Orna., Veith, Helmut

Рік:

2008

Мова:

english

Файл:

PDF, 42.39 MB

0 / 5.0

english, 2008

13

Tools and Algorithms for the Construction and Analysis of Systems. 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences onTheoryandPracticeofSoftware,ETAPS2007 Braga, Portugal, March 24 -April 1, 2007 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems. 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences onTheoryandPracticeofSoftware,ETAPS2007 Braga, Portugal, March 24 -April 1, 2007 Proceedings

Orna Grumberg, Michael Huth (eds.)

Рік:

2007

Мова:

english

Файл:

PDF, 8.60 MB

0 / 4.0

english, 2007

14

Correct Hardware Design and Verification Methods: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings

Correct Hardware Design and Verification Methods: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Hardi Hungar, Orna Grumberg (auth.), Paolo E. Camurati, Hans Eveking (eds.)

Рік:

1995

Мова:

english

Файл:

DJVU, 3.20 MB

0 / 0

english, 1995

15

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.), Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 3.63 MB

0 / 0

english, 2009

16

25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)

Рік:

2008

Мова:

english

Файл:

DJVU, 4.00 MB

0 / 0

english, 2008