LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS
HUTH AND RYAN
LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS - 2 - CAMBRIDGE 2012 - 427 25 Paper
9780521670890
005.115 HUT
LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS - 2 - CAMBRIDGE 2012 - 427 25 Paper
9780521670890
005.115 HUT