Formal logical methods for system security and correctness
Պահպանված է:
| Համատեղ հեղինակներ: | , |
|---|---|
| Այլ հեղինակներ: | , , |
| Ձևաչափ: | Էլեկտրոնային Գիտաժողովի նյութեր էլ․ գիրք |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
Amsterdam, Netherlands ; Washington, DC :
IOS Press,
c2008.
|
| Շարք: | NATO security through science series. Information and communication security ;
v. 14. |
| Խորագրեր: | |
| Առցանց հասանելիություն: | An electronic book accessible through the World Wide Web; click to view |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Եղիր առաջինը, ով թողնում է մեկնաբանություն!