1. Industrial-strength formal methods in practice

by Bowen, Jonathan P | Hinchey, Michael G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 1999Availability: Items available for loan: [Call number: 005.131 HIN] (1).
2. Turing guide

by Copeland, Jack | Bowen, Jonathan | Sprevak, Mark | Wilson, Robin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: United Kingdom: Oxford University Press, 2017Availability: Items available for loan: [Call number: 510.92 COP] (1).

Powered by Koha