Buy Used and New KrzysztofR.Apt Books

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

by Krzysztof R. Apt,Frank S. de Boer,Ernst-Rüdiger Olderog

ISBN 13: 9781848827448

Format: Hardcover (502 pages)
Publisher: Springer
Published: 02 Oct 2009

Save for later

Constraint Logic Programming using Eclipse

by Krzysztof R. Apt,Mark Wallace

ISBN 13: 9780521866286

Format: Hardcover (348 pages)
Publisher: Cambridge University Press
Published: 21 Dec 2006

Save for later

Lectures in Game Theory for Computer Scientists

by

ISBN 13: 9780521198660

Format: Hardcover (308 pages)
Publisher: Cambridge University Press
Published: 06 Jan 2011

Save for later