PKK Library catalog › Results of search for 'au:"Bowman, Howard."'

	1.	Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems by Bowman, Howard \| Gomez, Rodolfo. Material type: Book; Format: print ; Literary form: not fiction Description: xxiv, 435p.Publisher: London Springer 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.35 B684c] (1). Place hold Add to cart (remove)
	2.	Concurrency Theory : Calculi and Automata for Modelling Untimed and Timed Concurrent Systems / : [electronic resource] : by Bowman, Howard [author.] \| Gomez, Rodolfo [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XX, 422 p. 126 illus. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1). Place hold Add to cart (remove)

PKK Library