1. Model-based testing of reactive systems

by Jonsson, Bengt | Broy, Manfred | Katoen, Joost-Pieter | Leucker, Martin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 BRO] (1).
2. Switched current signal processing and A/D conversion circuits : design and implementation

by Jonsson, Bengt E.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2000Availability: Items available for loan: [Call number: 621.3815 JON] (1).

Powered by Koha