Logic in computer science modelling and reasoning about system/
Huth Michael
Logic in computer science modelling and reasoning about system/ Michael Huth - NewYork: Huth ,Ryan 1999. - xvii,387 p. :
Includes bibliographical references and index
0521652006
Computer
QA76.9.L63H88 1999
Logic in computer science modelling and reasoning about system/ Michael Huth - NewYork: Huth ,Ryan 1999. - xvii,387 p. :
Includes bibliographical references and index
0521652006
Computer
QA76.9.L63H88 1999