https://catalog.riphah.edu.pk//cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Computer%20scinece%22&sort_by=relevance&format=rss 2 0 50 ISBN:9788131529188 (pbk) https://catalog.riphah.edu.pk//cgi-bin/koha/opac-detail.pl?biblionumber=25776 ]]> By Satzinger, John W. | Robert B. Jackson | Stephen D. Burd.
New Delhi Cengage Learning India Pvt. Ltd. 2012 .
xxiii, 492 p. , Includes index ; 28 cm..
9788131529188 (pbk)

]]> Place hold on Introduction to systems analysis and design

]]> https://catalog.riphah.edu.pk//cgi-bin/koha/opac-detail.pl?biblionumber=25776 ISBN:9780262038836 (hb) https://catalog.riphah.edu.pk//cgi-bin/koha/opac-detail.pl?biblionumber=58115 ]]> By Edmund M Clarke | Jr., Orna Grumberg | Daniel Kroening | Doron Peled | Helmut Veith.
London The mlt press 2018 .
xviii, 402 p. , Includes bibliographical references and index. 23 cm..
9780262038836 (hb)

]]> Place hold on Model Checking

]]> https://catalog.riphah.edu.pk//cgi-bin/koha/opac-detail.pl?biblionumber=58115