Krzysztof R. Apt
Krzysztof R. Apt
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryCL
Constraint logic programming using ECLiPSe
cover - Image source: Open LibraryNT
New trends in constraints
cover - Image source: Open LibraryTL
The Logic Programming Paradigm
cover - Image source: Open LibraryVO
Verification of Sequential and Concurrent Programs
cover - Image source: Open LibraryP
Programmverifikation
cover - Image source: Open LibraryLP
Logic Programming Languages
cover - Image source: Open LibraryVO
Verification of Sequential and Concurrent Programs
cover - Image source: Open LibraryLA
Logics and Models of Concurrent Systems
cover - EWEdsger Wybe DijkstraKrzysztof R. Apt
Edsger Wybe Dijkstra
no cover - LILectures in Game Theory for Com...Krzysztof R. Apt
Lectures in Game Theory for Computer Scientists
no cover - RARecent Advances in ConstraintsKrzysztof R. Apt
Recent Advances in Constraints
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Constraint logic programming using ECLiPSe
- Open Work
New trends in constraints
- Open Work
The Logic Programming Paradigm
- Open Work
Verification of Sequential and Concurrent Programs
- Open Work
Programmverifikation
- Open Work
Logic Programming Languages
- Open Work
Verification of Sequential and Concurrent Programs
- Open Work
Logics and Models of Concurrent Systems
- Open Work
Edsger Wybe Dijkstra
- Open Work
Lectures in Game Theory for Computer Scientists
- Open Work
Recent Advances in Constraints