LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS
HUTH AND RYAN
LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS - 2 - CAMBRIDGE 2011 - 427 Paper
9.78E+12
005.115 HUT
LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS - 2 - CAMBRIDGE 2011 - 427 Paper
9.78E+12
005.115 HUT