Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings / Stefan Kowalewski, Marco Roveri (eds.). by International Workshop on Formal Methods for Industrial Critical Systems (15th : 2010 : Antwerp, Belgium) Kowalewski, S. (Stefan) Roveri, Marco Series: Lecture notes in computer science ; 6371. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin : Springer, 2010 Other title: FMICS 2010 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Software engineering and formal methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised selected papers / edited by Antonio Cerone, Marco Roveri. by Cerone, Antonio [editor.] Roveri, Marco [editor.] International Conference on Software Engineering and Formal Methods (15th : 2017 : Trento, Italy) DataMod (Symposium) (6th : 2017 : Treno, Italy) FAACS (Workshop) (1st : 2017 : Treno, Italy) MSE (Workshop) (1st : 2017 : Treno, Italy) CoSim-CPS (Workshop) (1st : 2017 : Treno, Italy) International Workshop on the Foundations of Coordination Languages and Software Architectures (15th : 2017 : Treno, Italy) Series: Lecture notes in computer science ; 10729. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2018] Other title: SEFM 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha