[RDF data]
Home | All literature
PropertyValue
sisvu:courseInstanceLiterature <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstance/1199/2003>
sisvu:description M. Huth, M. Ryan: Logic in Computor Science: Modeling and reasoning about systems, Cambridge University Press, 1999.
sisvu:obligatory true (xsd:boolean)
rdf:type sisvu:Literature