Your search returned 3 results.

Results
		Formal methods : foundations and applications : 13th Brazilian symposium on formal methods, SBMF, Natal, Brazil, Nov. 8-11, 2010 (e-book) by Davies, Jim [Editor] \| Silva, Leila [Editor] \| Simão, Adenilso [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6527 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Formal methods and software engineering (e-book) by Davies, Jim [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.3308Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2004Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Integrated formal methods (e-book) by Davies, Jim [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.4591Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2007Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search