Your search returned 3 results.

Results
	1.	Topological dualities in semantics by Marcello M Bonsangue by Bonsangue, Marcello M Material type: Text Publication details: Amsterdam Vrije University 1996 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1330151 N96. Place hold
	2.	Formal Methods for Open Object-Based Distributed Systems [electronic resource] Proceedings by Bonsangue, Marcello M and Johnsen, Einar Broch by International Conference 2007) Paphos, FMOODS (9 Einar Broch ,Johnsen Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.117 (e-book). Place hold
	3.	Formal Methods for Components and Objects [electronic resource] Proceedings by Frank S Boer and et al by International Symposium 2006) Amsterdam, FMCO (5 Bonsangue, Marcello M Graf, Susanne Roever, Willem-Paul Material type: Text Publication details: Berlin Springer 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.0151 (e-book). Place hold

Refine your search