• English
    • svenska
  • svenska 
    • English
    • svenska
  • Logga in
Visar nyckelord 
  •   Startsida
  • Faculty of Science / Naturvetenskapliga fakulteten
  • Department of Computer Science and Engineering / Institutionen för data- och informationsteknik
  • Doctoral Theses / Doktorsavhandlingar Institutionen för data- och informationsteknik
  • Visar nyckelord
  •   Startsida
  • Faculty of Science / Naturvetenskapliga fakulteten
  • Department of Computer Science and Engineering / Institutionen för data- och informationsteknik
  • Doctoral Theses / Doktorsavhandlingar Institutionen för data- och informationsteknik
  • Visar nyckelord
JavaScript is disabled for your browser. Some features of this site may not work without it.

Visar nyckelord: "contract analysis"

  • 0-9
  • A
  • B
  • C
  • D
  • E
  • F
  • G
  • H
  • I
  • J
  • K
  • L
  • M
  • N
  • O
  • P
  • Q
  • R
  • S
  • T
  • U
  • V
  • W
  • X
  • Y
  • Z

Sortera efter:

Ordning:

Resultat:

Visas titlar 1-1 av 1

  • Titel
  • Publiceringsdatum
  • Inmatningsdatum
  • stigande
  • fallande
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
    • Contracts and Computation — Formal modelling and analysis for normative natural language 

      Camilleri, John J. (2017-10-11)
      Whether we are aware of it or not, our digital lives are governed by contracts of various kinds, such as privacy policies, software licenses, service agreements, and regulations. At their essence, normative documents like ...

      DSpace software copyright © 2002-2016  DuraSpace
      gup@ub.gu.se | Teknisk hjälp
      Theme by 
      Atmire NV
       

       

      Visa

      VisaSamlingarI datumordningFörfattareTitlarNyckelordDenna samlingI datumordningFörfattareTitlarNyckelord

      Mitt konto

      Logga inRegistrera dig

      DSpace software copyright © 2002-2016  DuraSpace
      gup@ub.gu.se | Teknisk hjälp
      Theme by 
      Atmire NV