Koha online

1.
Mathematical logic for computer science

by Ben-Ari, Mordechai.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 511.3 BEN] (2).
Place hold
2.
Principles of the Spin model checker

by Ben-Ari, Mordechai.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2008Availability: Items available for loan: [Call number: 005.14 BEN] (1).
Place hold
3.
Ada for software engineers

by Ben-Ari, Mordechai.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2009Availability: Items available for loan: [Call number: 005.133 BEN] (1).
Place hold
4.
Mathematical logic for computer science

by Ben Ari, Mordechai.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2003Availability: Items available for loan: [Call number: 511.3 BEN] (8).
Place hold

Powered by Koha