Your search returned 13 results.

Not what you expected? Check for suggestions

Results
	1.	Formal aspects of component software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, revised selected papers / Farhad Arbab, Peter Csaba Ölveczky (eds.). by FACS (Symposium) (8th : 2011 : Oslo, Norway) Arbab, F. (Farhad) Ölveczky, Peter Csaba Series: Lecture notes in computer science ; 7253. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2012 Other title: FACS 2011 Online resources: Click here to access online Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised selected papers / edited by Corina S. Păsă̆reanu, Gwen Salaün. by FACS (Symposium) (9th : 2012 : Mountain View, Calif.) Păsăreanu, Corina S Salaün, G. (Gwen) Series: Lecture notes in computer science ; 7684. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2013 Other title: FACS 2012 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Formal aspects of component software : 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013, revised selected papers / José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue (eds.). by FACS (Symposium) (10th : 2013 : Nanchang, China) Fiadeiro, José Luiz, 1961- [editor.] Liu, Zhiming, 1961- [editor.] Xue, Jinyun [editor.] Series: Lecture notes in computer science ; 8348. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2014 Other title: FACS 2013 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Formal aspects of component software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised selected papers / Ivan Lanese, Eric Madelaine (eds.). by FACS (Symposium) (11th : 2014 : Bertinoro, Italy) Lanese, Ivan [editor.] Madelaine, Eric [editor.] Series: Lecture notes in computer science ; 8997. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2015]Copyright date: ©2015 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Formal aspects of component software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised selected papers / Christiano Braga, Peter Csaba Ölveczky (eds.). by FACS (Symposium) (12th : 2015 : Niterói, Brazil) Braga, Christiano (Computer scientist) [editor.] Ölveczky, Peter Csaba [editor.] Series: Lecture notes in computer science ; 9539. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2016 Other title: FACS 2015 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	Formal aspects of component software : 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised selected papers / Olga Kouchnarenko, Ramtin Khosravi (eds.). by FACS (Symposium) (13th : 2016 : Besançon, France) Kouchnarenko, Olga [editor.] Khosravi, Ramtin [editor.] Series: Lecture notes in computer science ; 10231. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2017 Other title: FACS 2016 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	7.	Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings / José Proença, Markus Lumpe (eds.). by FACS (Symposium) (14th : 2017 : Braga, Portugal) Proença, José (Post doc researcher) [editor.] Lumpe, Markus [editor.] Series: Lecture notes in computer science ; 10487. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017 Other title: FACS 2017 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	8.	Formal aspects of component software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings / Kyungmin Bae, Peter Csaba Ölveczky (eds.). by FACS (Symposium) (15th : 2018 : P'ohang-si, Korea) Bae, Kyungmin [editor.] Ölveczky, Peter Csaba [editor.] Series: Lecture notes in computer science ; 11222. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2018 Other title: FACS 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	9.	Formal aspects of component software : 16th International Conference, FACS 2019, Amsterdam, the Netherlands, October 23-25, 2019, Proceedings / Farhad Arbab, Sung-Shik Jongmans (eds.). by FACS (Symposium) (16th : 2019 : Amsterdam, The Netherlands) Arbab, F. (Farhad) [editor.] Jongmans, Sung-Shik [editor.] Series: Lecture notes in computer science ; 12018. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2020Copyright date: ©2020 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	10.	Formal aspects of component software : 17th International Conference, FACS 2021, Virtual event, October 28-29, 2021, Proceedings / Gwen Salaün, Anton Wijs (eds.). by FACS (Symposium) (17th : 2021 : Online) Salaün, G. (Gwen) [editor.] Wijs, Anton [editor] Series: Lecture notes in computer science ; 13077. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2021 Other title: FACS 2021 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	11.	Formal aspects of component software : 19th international conference, FACS 2023, virtual event, October 19-20, 2023, revised selected papers / Javier Cámara, Sung-Shik Jongmans, editors. by FACS (Symposium) (19th : 2023 : Online) Cámara, Javier (Computer scientist) [editor.] Jongmans, Sung-Shik [editor.] Series: Lecture notes in computer science ; 14485. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2024]Copyright date: ©2024 Other title: FACS 2023 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	12.	Formal aspects of component software : 18th international conference, FACS 2022, virtual event, November 10-11, 2022, proceedings / Silvia Lizeth Tapia Tarifa, José Proença (eds.). by FACS (Symposium) (18th : 2022 : Online) Tapia Tarifa, Silvia Lizeth [editor.] Proença, José [editor.] Series: Lecture notes in computer science ; 13712. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Cham, Switzerland : Springer, 2022 Other title: FACS 2022 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	13.	Formal aspects of component software : 20th international conference, FACS 2024, Milan, Italy, September 9-10, 2024, proceedings / Diego Marmsoler, Meng Sun, editors. by FACS (Symposium) (20th : 2024 : Milan, Italy) Marmsoler, Diego [editor.] Sun, Meng (Associate professor) [editor.] Series: Lecture notes in computer science ; 15189. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2024]Copyright date: ©2024 Other title: FACS 2024 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha