Your search returned 2 results.

|
1. Temporal logic of programs

by Kroger, Fred.

Publisher: Berlin-DD Springer-Verlag 1987Availability: Items available for loan: Campus [Call number: 511.3 KRO] (1).

2. Temporal logic of programs

by Kroger, Fred.

Publisher: Berlin-DD Springer-Verlag 1987Availability: No items available

Powered by Koha