PKK Library catalog › Results of search for 'au:"Strichman, Ofer"'

	1.	Decision Procedures : An Algorithmic Point of View / : [electronic resource] : by Kroening, Daniel [author.] \| Strichman, Ofer [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XVI, 306 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)
	2.	Decision Procedures [2nd ed.] [Perpetual] : an algorithmic point of view by Kroening, Daniel \| Strichman, Ofer. Edition: 2nd ed. Description: xxi, 356p.Publisher: Berlin Springer-Verlag 2016Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.542 K913d2] (1). Place hold Add to cart (remove)

PKK Library