Your search returned 8 results.

Results
	1.	Formal Methods – The Next 30 Years by Maurice H. ter Beek, Annabelle McIver, José N. Oliveira Series: Lecture Notes in Computer Science Edition: 1st ed. 2019 Language: EN Publication details: Springer International Publishing 2019 Online resources: Click here to access online Click here to access online Availability: No items available. Add to cart (remove)
	2.	From Software Engineering to Formal Methods and Tools, and Back by Maurice H. ter Beek, Alessandro Fantechi, Laura Semini Series: Lecture Notes in Computer Science Edition: 1st ed. 2019 Language: EN Publication details: Springer International Publishing 2019 Online resources: Click here to access online Click here to access online Availability: No items available. Add to cart (remove)
	3.	Web Services and Formal Methods by Maurice H. ter Beek, Niels Lohmann Series: Lecture Notes in Computer Science Edition: 2013 Language: EN Publication details: Springer Berlin Heidelberg 2013 Online resources: Click here to access online Click here to access online Availability: No items available. Add to cart (remove)
	4.	No cover image available Integrated Formal Methods by Maurice H. ter Beek Rosemary Monahan Edition: 1st ed. 2022 Publication details: 2022 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)
	5.	No cover image available Coordination Models and Languages by Maurice H. ter Beek Marjan Sirjani Edition: 1st ed. 2022 Publication details: 2022 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)
	6.	No cover image available Formal Methods – The Next 30 Years by Maurice H. ter Beek Annabelle McIver José N. Oliveira Edition: 1st ed. 2019 Publication details: Springer International Publishing 2019 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)
	7.	No cover image available From Software Engineering to Formal Methods and Tools, and Back by Maurice H. ter Beek Alessandro Fantechi Laura Semini Edition: 1st ed. 2019 Publication details: Springer International Publishing 2019 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)
	8.	Web Services and Formal Methods by Maurice H. ter Beek, Niels Lohmann Series: Lecture Notes in Computer Science Edition: 2013 Publication details: Springer Berlin Heidelberg 2013 Online resources: Click here to access online Availability: Items available for loan: VIVEKANANDA LIBRARY (1). Place hold Add to cart (remove)

© Designed and Maintained by Vivekananda Library, MDU Rohtak