Your search returned 8 results.

Not what you expected? Check for suggestions

Results
	1.	Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings / Dominique Méry, Stephan Merz (eds.). by International Conference on Integrated Formal Methods (8th : 2010 : Nancy, France) Méry, Dominique Merz, Stephan Series: Lecture notes in computer science ; 6396. \| 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: IFM 2010 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	FM 2012 : formal methods ; 18th International Symposium, Paris, France, August 27-31, 2012, Proceedings / Dimitra Giannakopoulou, Dominique Méry (eds.). by International Symposium of Formal Methods Europe (18th : 2012 : Paris, France) Giannakopoulou, Dimitra Méry, Dominique Series: Lecture notes in computer science ; 7436. \| 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 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Theoretical aspects of computing -- ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings / Gabriel Ciobanu, Dominique Méry (eds.). by ICTAC (Colloquium) (11th : 2014 : Bucharest, Romania) Ciobanu, Gabriel [editor.] Méry, Dominique [editor.] Series: Lecture notes in computer science ; 8687. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2014 Other title: ICTAC 2014 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Model and data engineering : 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings / El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez (eds.). by MEDI (Conference) (8th : 2018 : Marrakesh, Morocco) Abdelwahed, El Hassan [editor.] Bellatreche, Ladjel, 1968- [editor.] Golfarelli, Matteo [editor.] Méry, Dominique [editor.] Ordonez, Carlos (Computer scientist) [editor.] Series: Lecture notes in computer science ; 11163. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2018 Other title: MEDI 2018 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Rigorous state-based methods : 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings / edited by Alexander Raschke, Dominique Méry, Frank Houdek. by ABZ (Conference) (7th : 2020 : Ulm, Germany) Raschke, Alexander [editor.] Méry, Dominique [editor.] Houdek, Frank [editor.] Series: LNCS sublibrary. SL 1, Theoretical computer science and general issues. \| Lecture notes in computer science ; 12071. Edition: 1st ed. 2020. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 Other title: ABZ 2020 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	Rigorous state-based methods : 8th international conference, ABZ 2021, Ulm, Germany, June 9-11, 2021 : proceedings / Alexander Raschke, Dominique Méry (eds.). by ABZ (Conference) (8th : 2021 : Online) Raschke, Alexander [editor.] Méry, Dominique [editor.] Series: Lecture notes in computer science ; 12709. \| LNCS sublibrary. SL 1, Theoretical computer science and general issues. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, [2021]Copyright date: ©2021 Other title: ABZ 2021 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	7.	Rigorous state-based methods : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings / Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque, editors. by ABZ (Conference) (9th : 2023 : Nancy, France) Glässer, Uwe, 1959- [editor.] Creissac Campos, Jose [editor.] Méry, Dominique [editor.] Palanque, Philippe, 1966- [editor.] Series: Lecture notes in computer science ; 14010. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2023 Other title: ABZ 2023 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	8.	Formal methods and software engineering : 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024 : proceedings / Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu, editors. by International Conference on Formal Engineering Methods (25th : 2024 : Hiroshima-shi, Japan) Ogata, Kazuhiro Méry, Dominique Sun, Meng (Associate professor) Liu, Shaoying, 1960- Series: Lecture notes in computer science ; 15394. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Singapore : Springer, [2024] Other title: ICFEM 2024 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha