Research Catalog

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

    • Text
    • Chichester ; New York : J. Wiley, c1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 94-460Offsite
  • Deontic logic in computer science : normative system specification / edited by John-Jules Ch. Meyer and Roel J. Wieringa.

    • Text
    • Chichester ; New York : J. Wiley, [1993], ©1993.
    • 1993-1993
    • 1 Item
    FormatCall NumberItem Location
    Text QA75.5 .D46 1993Off-site
  • Information systems correctness and reusability : selected papers from the IS-CORE Workshop / editors, R.J. Wieringa & R.B. Feenstra.

    • Text
    • Singapore ; River Edge, NJ : World Scientific, [1995], ©1995.
    • 1995-1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.R47 I54 1995gOff-site
  • Advanced information systems engineering : 21th international conference, CAiSE 2009, Amsterdam, Netherlands, June 8-12, 2009 ; proceedings / Pascal van Eck, Jaap Gordijn, Roel Wieringa (eds.).

    • Text
    • Berlin : Springer, 2009.
    • 2009
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.758 .N67 2009gOff-site
  • Information systems, correctness and reusability : selected papers from the IS-CORE Workshop, Amsterdam, 26-30 September 1994 / editors, R.J. Wieringa & R.B. Feenstra.

    • Text
    • Singapore ; New Jersey : World Scientific, c1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.R47I594 1994Off-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta