K

Krzysztof R. Apt

1949

32 books found

Books by Krzysztof R. Apt
Principles of constraint programmingKrzysztof R. Apt
⏱ 6h 54m

Principles of constraint programming

Krzysztof R. Apt

2003414 pp.
Meta-logics and logic programmingKrzysztof R. Apt
⏱ 5h 39m

Meta-logics and logic programming

Krzysztof R. Apt

1995339 pp.
Constraint logic programming using ECLiPSeKrzysztof R. Apt
⏱ 5h 29m

Constraint logic programming using ECLiPSe

Krzysztof R. Apt

2006329 pp.
Verification of Sequential and Concurrent ProgramsKrzysztof R. Apt
⏱ 7h 26m

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt

1997446 pp.
From logic programming to PrologKrzysztof R. Apt
⏱ 5h 28m

From logic programming to Prolog

Krzysztof R. Apt

1997328 pp.
Lectures in Game Theory for Computer ScientistsKrzysztof R. Apt
⏱ 5h 9m

Lectures in Game Theory for Computer Scientists

Krzysztof R. Apt

2011309 pp.
Verification of sequential and concurrent programsKrzysztof R. Apt
⏱ 6h 43m

Verification of sequential and concurrent programs

Krzysztof R. Apt

1991403 pp.
Edsger Wybe DijkstraKrzysztof R. Apt

Edsger Wybe Dijkstra

Krzysztof R. Apt

2022No page data
The Logic programming paradigmKrzysztof R. Apt
⏱ 7h 36m

The Logic programming paradigm

Krzysztof R. Apt

1999456 pp.
Logics and Models of Concurrent SystemsKrzysztof R Apt

Logics and Models of Concurrent Systems

Krzysztof R Apt

1985No page data
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and KnowledgeKrzysztof R. Apt

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge

Krzysztof R. Apt

2011No page data
Verification of Sequential and Concurrent ProgramsKrzysztof R. Apt
⏱ 7h 24m

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt

1991444 pp.
The Logic Programming ParadigmKrzysztof R. Apt
⏱ 7h 36m

The Logic Programming Paradigm

Krzysztof R. Apt

1999456 pp.
Logics and Models of Concurrent SystemsKrzysztof R. Apt

Logics and Models of Concurrent Systems

Krzysztof R. Apt

1985No page data
Constraint Logic Programming using EclipseKrzysztof R Apt

Constraint Logic Programming using Eclipse

Krzysztof R Apt

2007No page data
Verification of sequential and concurrent programsKrzysztof R. Apt
⏱ 8h 22m

Verification of sequential and concurrent programs

Krzysztof R. Apt

2009502 pp.
Principles of constraint programmingKrzysztof R. Apt

Principles of constraint programming

Krzysztof R. Apt

2010No page data
A sound and complete Hoare-like system for a fragment of PascalKrzysztof R Apt
⏱ 59m

A sound and complete Hoare-like system for a fragment of Pascal

Krzysztof R Apt

197859 pp.
Foundations of deductive databases and logic programmingKrzysztof R. Apt
⏱ 12h 26m

Foundations of deductive databases and logic programming

Krzysztof R. Apt

1988746 pp.
Lectures in game theory for computer scientistsKrzysztof R. Apt
⏱ 4h 55m

Lectures in game theory for computer scientists

Krzysztof R. Apt

2011295 pp.