Your search returned 2 results.

Results
	1.	Formal Techniques for Safety-Critical Systems [electronic resource] : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers / by Hasan, Osman [editor.] Mallet, Frédéric [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1165 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Intelligent Computer Mathematics [electronic resource] : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings / by Geuvers, Herman [editor.] England, Matthew [editor.] Hasan, Osman [editor.] Rabe, Florian [editor.] Teschke, Olaf [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10383 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search