Reset Filters
Author: Apt,Krzysztof R

Author Results for Apt Krzysztof R 1949-

Apt,Krzysztof R.,
Apt,Krzysztof R
Apt, Krzysztof R.,,1949-
Boer,Frank S. de
Compulog-Net
see all »
Elsevier Science & Technology
European Research Consortium for Informatics and Mathematics
K.R. Apt ... [et al.], (eds)
Krzysztof R. Apt
Krzysztof R. Apt, Ernst-Rudiger Olderog

1
The Logic programming paradigm a 25-year perspective

Cover is for reference only
Group Author: Apt Krzysztof R 1949-
Published: Springer,
Publication Dates: c1999.
Call Number: TP311.11/L832.3/
Book
Save to List
Saved in:
2
Verification of sequential and concurrent programs

Cover is for reference only
Main Authors: Apt Krzysztof R 1949-
Group Author: Olderog Ernst-Rudiger
Published: Springer-Verlag,
Publication Dates: c1997.
Call Number: TP31-43/A655/2nd ed./
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —