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

Results
1021.	Image from Amazon.com	"Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends" by Tiziana Margaria Bernhard Steffen Series: Lecture Notes in Computer Science Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1022.	Image from Amazon.com	Model Checking Software by Alfons Laarman Ana Sokolova Series: Lecture Notes in Computer Science Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1023.	Image from Amazon.com	Software Technologies by Marten van Sinderen Hans Georg Fill Leszek A Maciaszek Series: Communications in Computer and Information Science Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1024.	Image from Amazon.com	Software Engineering for Robotics by Ana Cavalcanti Brijesh Dongol Rob Hierons Edition: 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1025.	Image from Amazon.com	Domain-Specific Languages in Practice by Antonio Bucchiarone Antonio Cicchetti Federico Ciccozzi Edition: 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1026.	Image from Amazon.com	End-User Development by Daniela Fogli Barbara Rita Barricelli Daniel Tetteroo Series: Lecture Notes in Computer Science Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1027.	Image from Amazon.com	Tests and Proofs by Frederic Loulergue Franz Wotawa Series: Lecture Notes in Computer Science Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1028.	Image from Amazon.com	High Performance Computing by Bradford L Chamberlain Ana Lucia Varbanescu Hatem Ltaief Series: Lecture Notes in Computer Science Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1029.	Image from Amazon.com	Model and Data Engineering by Christian Attiogbe Sadok Ben Yahia Series: Lecture Notes in Computer Science Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1030.	Image from Amazon.com	"Formal Techniques for Distributed Objects, Components, and Systems" by Kirstin Peters Tim A C Willemse Series: Lecture Notes in Computer Science Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1031.	Image from Amazon.com	Distributed Applications and Interoperable Systems by Miguel Matos Fabiola Greve Series: Lecture Notes in Computer Science Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1032.	Image from Amazon.com	Coordination Models and Languages by Ferruccio Damiani Ornela Dardha Series: Lecture Notes in Computer Science Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1033.	Image from Amazon.com	Structured Object-Oriented Formal Language and Method by Jinyun Xue Fumiko Nagoya Shaoying Liu Series: Lecture Notes in Computer Science Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1034.	Image from Amazon.com	"Logic, Computation and Rigorous Methods" by Alexander Raschke Elvinia Riccobene Klaus Dieter Schewe Series: Lecture Notes in Computer Science Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1035.	Image from Amazon.com	NASA Formal Methods by Aaron Dutle Laura Titolo Mariano M Moscato Series: Lecture Notes in Computer Science Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1036.	Image from Amazon.com	Requirements Engineering: Foundation for Software Quality by Fabiano Dalpiaz Paola Spoletini Series: Lecture Notes in Computer Science Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1037.	Image from Amazon.com	Modelling to Program by Ajantha Dahanayake Bernhard Thalheim Oscar Pastor Series: Communications in Computer and Information Science Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1038.	Image from Amazon.com	Cloud Computing and Services Science by Donald Ferguson Claus Pahl Markus Helfert Series: Communications in Computer and Information Science Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1039.	Image from Amazon.com	Tools and Methods of Program Analysis by Anna Kalenkova Jose A Lozano Rostislav Yavorskiy Series: Communications in Computer and Information Science Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
1040.	Image from Amazon.com	Advances in Service-Oriented and Cloud Computing by Christian Zirpins Iraklis Paraskakis Vasilios Andrikopoulos Series: Communications in Computer and Information Science Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)