Rezultaty - Grumberg, Orna
-
1
Logics and languages for reliability and security
Wydane 2010Kolejni autorzy: “…Grumberg, Orna…”
An electronic book accessible through the World Wide Web; click to view
Elektroniczne E-book -
2
Software systems safety /
Wydane 2014Kolejni autorzy: “…Grumberg, Orna…”
An electronic book accessible through the World Wide Web; click to view
Elektroniczne E-book -
3
Logics and languages for reliability and security
Wydane 2010Kolejni autorzy: “…Grumberg, Orna…”
An electronic book accessible through the World Wide Web; click to view
Elektroniczne E-book -
4
Software systems safety /
Wydane 2014Kolejni autorzy: “…Grumberg, Orna…”
An electronic book accessible through the World Wide Web; click to view
Elektroniczne E-book -
5
Formal logical methods for system security and correctness
Wydane 2008Kolejni autorzy: “…Grumberg, Orna…”
An electronic book accessible through the World Wide Web; click to view
Elektroniczne Materiały konferencyjne E-book -
6
Software safety and security tools for analysis and verification /
Wydane 2012Kolejni autorzy: “…Grumberg, Orna…”
An electronic book accessible through the World Wide Web; click to view
Elektroniczne Materiały konferencyjne E-book -
7
Software safety and security tools for analysis and verification /
Wydane 2012Kolejni autorzy: “…Grumberg, Orna…”
An electronic book accessible through the World Wide Web; click to view
Elektroniczne Materiały konferencyjne E-book -
8
Formal logical methods for system security and correctness
Wydane 2008Kolejni autorzy: “…Grumberg, Orna…”
An electronic book accessible through the World Wide Web; click to view
Elektroniczne Materiały konferencyjne E-book