Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Mitsu Okada
Themen in »Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues«
DRM Symbol XML authentication automata bilinear map component software control flow database dynamic profiling formal reasoning formal verification real-time systems semantics verification
Stimmen zu »Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues«
Details
ISBN: 9783540775041
Verlag: Springer Berlin
Erscheinung: 24.01.2008