Your search returned 12 results.

Results
	1.	Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / by Gotsman, Alexey [editor.] Sokolova, Ana [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12136 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.	Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings / by Gallina, Barbara [editor.] Skavhaug, Amund [editor.] Schoitsch, Erwin [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11094 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Runtime Verification [electronic resource] : 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings / by Finkbeiner, Bernd [editor.] Mariani, Leonardo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11757 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	NASA Formal Methods [electronic resource] : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings / by Lee, Ritchie [editor.] Jha, Susmit [editor.] Mavridou, Anastasia [editor.] Giannakopoulou, Dimitra [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12229 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)
	5.	Formal Methods: Foundations and Applications [electronic resource] : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings / by Massoni, Tiago [editor.] Mousavi, Mohammad Reza [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11254 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Runtime Verification [electronic resource] : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings / by Colombo, Christian [editor.] Leucker, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11237 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	7.	System Analysis and Modeling. Technology-Specific Aspects of Models [electronic resource] : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings / by Grabowski, Jens [editor.] Herbold, Steffen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9959 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Formal Methods: Foundations and Applications [electronic resource] : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings / by Carvalho, Gustavo [editor.] Stolz, Volker [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12475 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)
	9.	Computer Safety, Reliability, and Security [electronic resource] : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings / by Casimiro, António [editor.] Ortmeier, Frank [editor.] Bitsch, Friedemann [editor.] Ferreira, Pedro [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12234 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)
	10.	Formal Aspects of Component Software [electronic resource] : 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings / by Salaün, Gwen [editor.] Wijs, Anton [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 13077 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Autonomic and Trusted Computing [electronic resource] : 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008, Proceedings / by Rong, Chunming [editor.] Jaatun, Martin Gilje [editor.] Sandnes, Frode Eika [editor.] Yang, Laurence Tianruo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5060 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	12.	Applications of Graph Transformations with Industrial Relevance [electronic resource] : Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers / by Schürr, Andy [editor.] Nagl, Manfred [editor.] Zündorf, Albert [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5088 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in