Author books / Книги автора Esparza Javier(Editor),Grumberg Orna(Editor),Sickert Salomon(Editor) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Esparza Javier(Editor),Grumberg Orna(Editor),Sickert Salomon(Editor)

book Dependable software systems engineering

Dependable software systems engineering

pdf

Author: Esparza Javier(Editor), Grumberg Orna(Editor), Sickert Salomon(Editor)
Language: English
Year: 2016

00

07.02.2024

0

0

book 25 Years of Model Checking History, Achievements, Perspectives

25 Years of Model Checking History, Achievements, Perspectives

pdf

Author: Grumberg Orna., Veith Helmut
Language: English
Year: 2008

00

06.02.2024

0

0

book Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness

pdf

Author: Orna Grumberg Orna Grumberg Tobias Nipkow Christian Pfaller
Language: English
Year: 2008

00

27.01.2024

0

0