Your search returned 4 results.

Results
1.	Image from Amazon.com Image from Coce	Rigorous State-Based Methods by Alexander Raschke Dominique Méry Frank Houdek Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
2.		Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems by Yamine Ait-Ameur Dominique Méry Shin Nakajima Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2021 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
3.		Rigorous State-Based Methods by Alexander Raschke Dominique Méry Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer Nature 2021 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
4.	Image from Amazon.com Image from Coce	Formal Methods and Software Engineering by Kazuhiro Ogata Dominique Mery Meng Sun Shaoying Liu Series: Lecture Notes in Computer Science Edition: 2024 Material type: Text Publication details: Heidelberg, Germany Springer Nature 2024 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

ऑनलाइन सार्वजनिक अभिगम प्रसूची
Online Public Access Catalogue (OPAC)