Author books / Книги автора Orna Grumberg Orna Grumberg Tobias Nipkow Christian Pfaller » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Orna Grumberg Orna Grumberg Tobias Nipkow Christian Pfaller

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