Buy Used and New KrzysztofR.Apt Books

The Logic Programming Paradigm: A 25-Year Perspective (Artificial Intelligence)

by Krzysztof R. Apt

ISBN 13: 9783642642494

Format: Paperback (480 pages)
Publisher: Springer Verlag
Published: 01 Jan 1999

Save for later

Verification of Sequential and Concurrent Programs: Texts in Computer Science, Third Edition

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

ISBN 13: 9781447125136

Format: Paperback (528 pages)
Publisher: Springer
Published: 14 Mar 2012

Save for later

Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, ... 3010 (Lecture Notes in Computer Science)

by Krzysztof R. Apt, Jósef Váncza, Francesca Rossi, Peter Szeredi, François Fages

ISBN 13: 9783540218340

Format: Paperback (296 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

Programmverifikation: "Sequentielle, Parallele Und Verteilte Programme" (Springer-Lehrbuch)

by Krzysztof R. Apt

ISBN 13: 9783540574798

Format: Paperback (272 pages)
Publisher: Springer
Published: 04 Oct 2013

Save for later

Logics and Models of Concurrent Systems: 13 (Nato ASI Subseries F:)

by Krzysztof R. Apt

ISBN 13: 9783642824555

Format: Paperback (512 pages)
Publisher: Springer-Verlag
Published: 01 Jan 1985

Save for later