Koha online

1.
Process algebraic approach to software architecture design

by Aldini, Alessandro | Bernardo, Marco | Corradini, Flavio.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2010Availability: Items available for loan: [Call number: 004 ALD] (1).
Place hold
2.
Formal methods for mobile computing : fifth International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures

by Bogliolo, Alessandro | Bernardo, Marco.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 BER] (1).
Place hold
3.
Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : Advanced Lectures

by Bernardo, Marco | Inverardi, Paola.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BER] (1).
Place hold

Powered by Koha