Your search returned 2 results.

Results
		Construction and analysis of safe, secure, and interoperable smart devices : 2nd international workshop, CASSIS, Nice, France, Mar. 8-11, 2005 by \| Barthe, Gilles...[et al.] \| Barthe, Gilles...[et al.]. Series: Lecture notes in computer science ; v.3956Edition: Language: English Publication details: Berlin ; Springer ; 2006Availability: Items available for loan: 1 Call number: 621.382:65.012.8Con:2:05. Place hold Add to cart (remove)
		Construction and analysis of safe, secure, and interoperable smart devices : international workshop, CASSIS, Marseille, France, Mar. 10-14, 2004 by \| Barthe, Gilles...[et.al] \| Barthe, Gilles...[et.al]. Series: Lecture notes in computer science ; v.3362Edition: Language: English Publication details: Berlin ; Springer ; 2005Availability: Items available for loan: 1 Call number: 621.382:65.012.8Con:04. Place hold Add to cart (remove)

Refine your search