Your search returned 2 results.

Results
		Formal methods : applications and technology : 11th international workshop, FMICS and 5th international workshop, PDMC, Bonn, Germany, Aug. 26-27 and Aug. 31, 2006 by \| Brim, Lubos... [ et al.] \| Brim, Lubos... [ et al.]. Series: Lecture notes in computer science ; v.4346Edition: Language: English Publication details: Berlin ; Springer ; 2007Availability: Items available for loan: 1 Call number: 681.3.06:658.5For:11:06. Place hold Add to cart (remove)
		No cover image available CONCUR 2002 : concurrency theory : 13th international conference proceedings, Brno, Czech Republic, Aug. 20-23, 2002 by \| Brim, Lubos ...[et al.] \| Brim, Lubos ...[et al.]. Series: Lecture notes in computer science ; v.2421Edition: Language: English Publication details: Berlin ; Springer ; 2002Availability: Items available for loan: 1 Call number: 681.327.8CON:13:02. Place hold Add to cart (remove)

Refine your search