Formal logical methods for system security and correctness
I tiakina i:
| Ngā kaituhi rangatōpū: | , |
|---|---|
| Ētahi atu kaituhi: | , , |
| Hōputu: | Tāhiko Mauhanga Hui īPukapuka |
| Reo: | Ingarihi |
| I whakaputaina: |
Amsterdam, Netherlands ; Washington, DC :
IOS Press,
c2008.
|
| Rangatū: | NATO security through science series. Information and communication security ;
v. 14. |
| Ngā marau: | |
| Urunga tuihono: | An electronic book accessible through the World Wide Web; click to view |
| Ngā Tūtohu: |
Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
Me noho koe te mea tuatahi ki te waiho tākupu!