|  |
| |
| Artikel-Nr.:
858A-9783540007081 Herst.-Nr.:
9783540007081 EAN/GTIN:
9783540007081 |
| |
|
| | |
| Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers Weitere Informationen: | | Author: | Mitsuhiro Okada; Benjamin Pierce; Andre Scedrov; Hideyuki Tokuda; Akinori Yonezawa | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Datensicherheit, Datensicherung, Sicherheit / Datensicherheit, Access control; authentication; Compiler; Computer viruses; Coq; Dependable Computing; information; monitor; reliable systems; Symbol; systems logic; verification, Access Control, Authentication, Compiler, Computer Viruses, Coq, Dependable Computing, Information |
| | |
| |