Your search returned 2 results.

Results
		Formal methods for industrial critical systems : 15th international workshop : proceedings, FMICS, Antwerp, Belgium, Sept. 20-21, 2010. (e-book) by Kowalewski, Stefan [Editor] \| Roveri, Marco [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6371 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Tools and algorithms for the construction and analysis of systems (e-book) by Kowalewski, Stefan [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.5505Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2009Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search