1
Pubblicazione 2013
Sommario: ... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...
Testo
Elettronico eBook
2
Pubblicazione 2013
Sommario: ... -- Testing, Profiling, and Empirical Studies -- What Programmers Do with Inheritance in Java -- Is This a Bug...
Testo
Elettronico eBook
3
Pubblicazione 2014
Sommario: ... -- Exploring Chaotic Neural Network for Cryptographic Hash Function -- Protocol to Authenticate the Objects...
Testo
Elettronico eBook