Books by Krzysztof R. Apt
Total count: 10
Verification of sequential and concurrent programsSpringer-Verlag1991-01-01
ProgrammverifikationSequentielle, parallele und verteilte Programme (Springer-Lehrbuch)1 editionSpringer1996-04-24
From logic programming to PrologPrentice Hall1997-01-01
Constraint Logic Programming using Eclipse1 editionCambridge University Press2007-01-15
New perspectives on games and interactionAmsterdam University Press2008-01-01
New perspectives on games and interactionAmsterdam Univ. Press2008-01-01
Verification of sequential and concurrent programs3rd extended ed.Springer2009-01-01
Principles of constraint programmingCambridge University Press2010-01-01
Lectures in game theory for computer scientistsCambridge University Press2011-01-01
Principles of constraint programmingCambridge University Press