Your search returned 47 results.

Results
	41.	Formal Methods: Foundations and Applications [electronic resource] : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers / by Oliveira, Marcel Vinícius Medeiros [editor.] Woodcock, Jim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 5902 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	42.	Interactive Systems. Design Specification, and Verification [electronic resource] : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers / by Gilroy, Stephen W [editor.] Harrison, Michael D [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3941 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	43.	Formal Methods in Software and Systems Modeling [electronic resource] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / by Kreowski, Hans-Jörg [editor.] Montanari, Ugo [editor.] Orejas, Fernando [editor.] Rozenberg, Grzegorz [editor.] Taentzer, Gabriele [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3393 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	44.	Variations on Constants [electronic resource] : Flow Analysis of Sequential and Parallel Programs / by Müller-Olm, Markus [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3800 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	45.	Grid Computing [electronic resource] : Experiment Management, Tool Integration, and Scientific Workflows / by Prodan, Radu [author.] Fahringer, Thomas [author.] SpringerLink (Online service) Series: Programming and Software Engineering ; 4340 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	46.	Formal Techniques for Distributed Systems [electronic resource] : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings / by Beyer, Dirk [editor.] Boreale, Michele [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7892 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	47.	ZB 2005: Formal Specification and Development in Z and B [electronic resource] : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings / by Treharne, Helen [editor.] King, Steve [editor.] Henson, Martin [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3455 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 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