PKK Library catalog › Results of search for 'su:{Computer software -- Verification}'

	1.	CO-VERIFICATION OF HARDWARE AND SOFTWARE FOR ARM SOC DESIGN by Andrews,Jason R. Material type: Book; Format: print ; Literary form: not fiction Description: xxiii,260.Publisher: Elsevier, Amsterdam 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.14 AN26C] (1). Place hold Add to cart (remove)
	2.	Rigorous software development : an introduction to program verification by Almeida, Jose Bacelar \| Frade, Maria João \| Pinto, Jorge Sousa \| Melo de Sousa, Simão. Material type: Book; Format: print ; Literary form: not fiction Description: xii, 263p.Publisher: London Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.14 R449] (1). Place hold Add to cart (remove)
	3.	Decidability of parameterized verification / by Bloem, Roderick P [author.] \| Jacobs, Swen [author.] \| Khalimov, Ayrat [author.] \| Konnov, Igor 1958-, [author.] \| Rubin, Sasha [author.] \| Veith, Helmut [author.] \| Widder, Josef [author.]. Material type: Book; Format: available online ; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xi, 158 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2015.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)

PKK Library