Results of search for 'ccl=su:"Software engineering "' › CENTRAL LIBRARY, AMRITA VISHWA VIDYAPEETHAM catalog

Results
801.	Image from Amazon.com	"Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice" by Tiziana Margaria Bernhard Steffen Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
802.	Image from Amazon.com	"Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems" by Tiziana Margaria Bernhard Steffen Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
803.	Image from Amazon.com	"Leveraging Applications of Formal Methods, Verification and Validation. Verification" by Tiziana Margaria Bernhard Steffen Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
804.	Image from Amazon.com	"Leveraging Applications of Formal Methods, Verification and Validation. Modeling" by Tiziana Margaria Bernhard Steffen Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
805.	Image from Amazon.com	New Trends in Model and Data Engineering by El Hassan Abdelwahed Djamal Benslimane Ladjel Bellatreche Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
806.	Image from Amazon.com	Formal Methods and Software Engineering by Jing Sun Meng Sun Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
807.	Image from Amazon.com	The Practice of Enterprise Modeling by Robert Andrei Buchmann Dimitris Karagiannis Marite Kirikova Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
808.	Image from Amazon.com	Technologies and Innovation by Rafael Valencia-Garcia Gema Alcaraz-Marmol Javier Del Cioppo-Morstadt Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
809.	Image from Amazon.com	Model and Data Engineering by El Hassan Abdelwahed Ladjel Bellatreche Matteo Golfarelli Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
810.	Image from Amazon.com	Advances in Conceptual Modeling by Carson Woo Jiaheng Lu Zhanhuai Li Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
811.	Image from Amazon.com	Formal Aspects of Component Software by Kyungmin Bae Peter Csaba olveczky Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
812.	Image from Amazon.com	"System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering" by Ferhat Khendek Reinhard Gotzhein Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
813.	Image from Amazon.com	Automated Technology for Verification and Analysis by Shuvendu K. Lahiri Chao Wang Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
814.	Image from Amazon.com	Conceptual Modeling by Juan C. Trujillo Karen C. Davis Xiaoyong Du Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
815.	Image from Amazon.com	Software Architecture by Carlos E. Cuesta David Garlan Jennifer Perez Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
816.	Image from Amazon.com	Advances in Computing by Jairo E. Serrano C Juan Carlos Martinez-Santos Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
817.	Image from Amazon.com	Applied Computer Sciences in Engineering by Juan Carlos Figueroa-Garcia Juan G. Villegas Juan Rafael Orozco-Arroyave Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
818.	Image from Amazon.com	Applied Computer Sciences in Engineering by Juan Carlos Figueroa-Garcia Eduyn Ramiro Lopez-Santana Jose Ignacio Rodriguez-Molano Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
819.	Image from Amazon.com	Testing Software and Systems by Inmaculada Medina-Bulo Mercedes G. Merayo Robert Hierons Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
820.	Image from Amazon.com	Refinement by John Derrick Eerke Boiten Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)