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
Principles of constraint programming

Cover is for reference only
Main Authors: Apt Krzysztof R., 1949-
Published: Cambridge University Press,
Publication Dates: 2003.
Call Number: TP311.1/A655
Book
Save to List
Saved in:
3
Verification of sequential and concurrent programs

Cover is for reference only
Main Authors: Apt Krzysztof R., 1949-
Corporate Authors: SpringerLink (Online service)
Group Author: Olderog E.-R.; Boer Frank S. de.
Published: Springer,
Publication Dates: c2009.
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —