Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 2 results. Subscribe to this search

|
1. Verification and validation in systems engineering : assessing UML/SysML design models

by Debbabi, Mourad | Jarraya, Yosr | Soeanu, Andrei | Hassaine, Fawzi.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxvi, 248p.Publisher: Berlin Springer 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.24 V588] (1).

2. Embedded Java Security : Security for Mobile Devices / : [electronic resource] :

by Debbabi, Mourad [author.] | Saleh, Mohamed [author.] | Talhi, Chamseddine [author.] | Zhioua, Sami [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 246 p. 38 illus. online resource.Publisher: London : Springer London, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Powered by Koha