Krzysztof R. Apt

Œuvres (2)

Couverture : From logic programming to Prolog

From logic programming to Prolog

1997
Couverture : Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

1997