1. Early history of data networks

by Holzmann, Gerard J | Pehrson, Bjorn.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Hoboken: John Wiley & Sons, 2003Availability: Items available for loan: [Call number: 384.109 HOL] (1).
2. 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).

Powered by Koha