Please use this identifier to cite or link to this item:
/library/oar/handle/123456789/27911| Title: | 贵尝础颁翱厂鈥�09&#虫20;奥辞谤办蝉丑辞辫&#虫20;辫谤辞肠别别诲颈苍驳蝉 |
| Keywords: | Electronic contracts Formal languages Computer programs -- Verification Computer security Contracts Computer programming |
| Issue Date: | 2009-09 |
| Publisher: | University of Oslo. Department of Informatics |
| Citation: | Pace, G. J., & Schneider, G. (Eds.) (2009). 贵尝础颁翱厂鈥�09&#虫20;奥辞谤办蝉丑辞辫&#虫20;辫谤辞肠别别诲颈苍驳蝉. Oslo: University of Oslo. Department of Informatics. |
| Abstract: | 罢丑别&#虫20;3谤诲&#虫20;奥辞谤办蝉丑辞辫&#虫20;辞苍&#虫20;贵辞谤尘补濒&#虫20;尝补苍驳耻补驳别蝉&#虫20;补苍诲&#虫20;础苍补濒测蝉颈蝉&#虫20;辞蹿&#虫20;颁辞苍迟谤补肠迟-翱谤颈别苍迟别诲&#虫20;厂辞蹿迟飞补谤别&#虫20;(贵尝础颁翱厂鈥�09)&#虫20;颈蝉&#虫20;丑别濒诲&#虫20;颈苍&#虫20;罢辞濒别诲辞,&#虫20;厂辫补颈苍.&#虫20;罢丑别&#虫20;补颈尘&#虫20;辞蹿&#虫20;迟丑别&#虫20;飞辞谤办蝉丑辞辫&#虫20;颈蝉&#虫20;迟辞&#虫20;产谤颈苍驳&#虫20;迟辞驳别迟丑别谤&#虫20;谤别蝉别补谤肠丑别谤蝉&#虫20;补苍诲&#虫20;辫谤补肠迟颈迟颈辞苍别谤蝉&#虫20;飞辞谤办颈苍驳&#虫20;辞苍&#虫20;濒补苍驳耻补驳别-产补蝉别诲&#虫20;蝉辞濒耻迟颈辞苍蝉&#虫20;迟辞&#虫20;肠辞苍迟谤补肠迟-辞谤颈别苍迟别诲&#虫20;蝉辞蹿迟飞补谤别&#虫20;诲别惫别濒辞辫尘别苍迟.&#虫20;罢丑别&#虫20;飞辞谤办蝉丑辞辫&#虫20;颈蝉&#虫20;辫补谤迟颈补濒濒测&#虫20;蹿耻苍诲别诲&#虫20;产测&#虫20;迟丑别&#虫20;狈辞谤诲耻苍别迟3&#虫20;辫谤辞箩别肠迟&#虫20;鈥淐翱厂辞顿滨厂鈥�&#虫20;(颁辞苍迟谤补肠迟-翱谤颈别苍迟别诲&#虫20;厂辞蹿迟飞补谤别&#虫20;顿别惫别濒辞辫尘别苍迟&#虫20;蹿辞谤&#虫20;滨苍迟别谤苍别迟&#虫20;厂别谤惫颈肠别蝉). |
| URI: | https://www.um.edu.mt/library/oar//handle/123456789/27911 |
| ISBN: | 8273683451 |
| ISSN: | 08063036 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 贵尝础颁翱厂鈥�09冲飞辞谤办蝉丑辞辫冲辫谤辞肠别别诲颈苍驳蝉冲2009.辫诲蹿 | 2.79 MB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.