LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION

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

BLOOMSBURY PUBLISHING PLC

ANDY KING/CLAIRE ETTY ANDY KING/CLAIRE ETTY

9780230282339

SPRINGER NATURE B.V.

ANDY KING/PAUL M. KING ANDY KING/PAUL M. KING

9781430238225