Koha online

1.
SPIN model checker : primer and reference manual

by Holzmann, Gerard J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Addison-Wesley, 2003Availability: Items available for loan: [Call number: 620.0011 HOL] (1).
Place hold
2.
Thinking matters : critical thinking as creative problem solving

by Mar, Gary R.

Publisher: New Jersey : World Scientific, 2021Availability: Items available for loan: [Call number: 153.43 MAR] (1).
Place hold

Powered by Koha