Your search returned 2 results.

Results
	1.	Formal Methods for Industrial Critical Systems [electronic resource] : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings / edited by Frédéric Lang, Francesco Flammini. by Lang, Frédéric [editor.] Flammini, Francesco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8718 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	2.	Computer Safety, Reliability, and Security [electronic resource] : 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings / edited by Francesco Flammini, Sandro Bologna, Valeria Vittorini. by Flammini, Francesco [editor.] Bologna, Sandro [editor.] Vittorini, Valeria [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6894 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold

Refine your search