Formal to practical security: papers issued from the 2005-2008 french-japanese collaboration
Éditeur :
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN :
9783642020018
Date de publication :
25 mai 2009
Dimensions :
23,5 x 15,5 x 1,8 cm
Poids :
454 g
Langue :
Anglais
Pays d'origine :
Allemagne
Contains a collection of papers originating in the French-Japanese Collaboration on Formal to Practical Security that have crystallized around workshops held in Tokyo and Nancy between 2005 and 2008.