Author

Bakker, J. W. de

Catalogue records by Bakker, J. W. de in the PakCat Union Catalogue.

2 catalogue records

Catalogue records

Logic programming languages edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten 1993 Mathematical theory of program correctness Bakker, J. W. de 1980