Huth (Michael); Ryan (Mark)

Logic in Computer Science: Modelling and Reasoning About Systems - 2 - 2005 - Paper Paper Pack NO

22.5

Computer Science

0-521-67089-6


Computer Science

681.3.2 HUT

Visitor Number: