Míreanna comhchosúla: Logic in computer science:modelling and reasoning about systems

Topaic: CSE

Topaic: IT