Ebooks de Tobias Nipkow en PDF

1 Livre(s)
Télécharger le livre : Software Safety and Security
Ajouter à ma liste d'envies
Software Safety and Security
Orna Grumberg , Tobias Nipkow
Recent decades have seen major advances in methods and tools for checking the safety and security of software systems. Automatic tools can now detect security flaws not only in programs of the order of a million lines of code, but also in high-level protocol...

Editeur : SAGE Publications Ltd
Parution : 2012-05-15

PDF

119,28 €