LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION

PUBLISHING SERVICES CONSORTIUM

ANDY KING

9798895530559

PENGUIN RANDOM HOUSE UK

ANDY GORAM/IAIN KING ANDY GORAM/IAIN KING

9781845966003

BOYDELL & BREWER LTD

ANDY KING/SIR THOMAS GRAY/TOMAS GRAY ANDY KING/SIR THOMAS GRAY/TOMAS GRAY ANDY KING/SIR THOMAS GRAY/TOMAS GRAY

9780854440795

TAYLOR & FRANCIS LTD

ANDY KING-MAN YIU/LEO MING-YAN LO/YISHUA ANDY KING-MAN YIU/LEO MING-YAN LO/YISHUA ANDY KING-MAN YIU/LEO MING-YAN LO/YISHUA

9781032824239