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