Formal Logical Methods for System Security and Correctness

Formal Logical Methods for System Security and Correctness

Orna Grumberg , Tobias Nipkow , Christian Pfaller
Brak ocen
Mar 15, 2008 · Angielski · Twarda okładka (332 strony)
Dodaj do półki

Oceń tę książkę


Eksportuj Dziennik Książki

Recenzje

Nie ma jeszcze recenzji

Bądź pierwszy, aby zrecenzować tę książkę i podziel się swoimi przemyśleniami

Zaloguj się, aby recenzować
Dodaj do półki

Oceń tę książkę


Eksportuj Dziennik Książki