KIRJAUDU
Secure Transaction Protocol Analysis - Models and Applications
51,10 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 234 sivua
Asu: Pehmeäkantinen kirja
Painos: 2008 ed.
Julkaisuvuosi: 2008, 30.07.2008 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 5111
Sivumäärä: 234 sivua
Asu: Pehmeäkantinen kirja
Painos: 2008 ed.
Julkaisuvuosi: 2008, 30.07.2008 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 5111
The application of formal methods to security protocol analysis has attracted increasing attention in the past two decades, and recently has been sh- ing signs of new maturity and consolidation.
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 5-6 viikossa
Tilaustuote
Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.Arvioimme, että tuote lähetetään meiltä noin 5-6 viikossa
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9783540850731
Aihealue: