Shah Alam

  • UiTM Shah Alam
  • UITM Sarawak
  • UITM Perlis
  • UITM Pulau Pinang
  • UITM Sabah
  • UiTM Negeri Sembilan
  • UiTM Johor
  • UITM Melaka
  • UITM Pahang
  • UITM Kelantan
  • UITM Kedah
  • UITM Perak
  • UITM Terengganu
  • UiTM Libraries
.

Deontic logic in computer science : normative system specifications / edited by John-Jules Ch. Meyer and Roel J. Wieringa

  • Linear

  • MARC

  •  
    QA75.5
    .D46 1993
     
    353838 (Shelf),BOK
    Deontic logic in computer science : normative system specifications. - Chichester , 1993.

         xiv, 317 p. : ill. ; 25 cm.
         "Revisions of selected papers that were presented at the First International Workshop on Deontic Logic in Computer Science ... held in amsterdam on December 11-13, 1991".

         ISBN 0471937436.
         
         1. Computer science - Congresses 2. Deontic logic - Congresses.I. Meyer, John-Jules II. Wieringa, Roel III. International Workshop on Deontic Logic in Computer Science. IV. Title
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    353838ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKret

Search In

Shelf Browse

No Shelf Browse Data.

Top