Your search returned 7 results.

Results
	1.	Constructive methods in computing science ed. by Manfred Broy by Broy, Manfred., ed Series: NATO ASF series ; Material type: Text Publication details: Berlin Springer Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004 N896.
	2.	No cover image available Programming and mathematical method ed. by Manfred Broy by NATO Advanced study International summer school on programming and Mathematical Method(1990 Masktoberdorf) Broy, Manfred., ed Series: NATO Advanced study Institute series F Computer and system science,881) Material type: Text Publication details: Berlin Springer-Verlag 1992 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1015113 N92. Place hold
	3.	Formal systems specification the RPC-memory specification case study ed. by Manfred Broy, Stephan Merz and Katharina Spies by Merz, Stephan., ed Spies, Katharina., ed Broy, Manfred., ed Series: Lecture Notes in computer science ; V.1169 Material type: Text Publication details: New York Springer-Verlag 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.2 N9615.
	4.	No cover image available Theoretical foundatins of programming methodology ed. by Manfred Broy and Gunther Schmidt. by Broy, Manfred., ed Schimdt, Gunther., ed Material type: Text Publication details: D.Reidel 1982 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64206 N82.
	5.	Theoretical foundations of programming methodology ed. by Manfred Broy, Gunther Schmidt. by Schmidt, Gunther.,ed Broy, Manfred.,ed Series: NATO advanced study institutes series series C V.91 Material type: Text Publication details: Dordrecht D.Reidel Publishing Company 1982 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.64206 N82;1.
	6.	Engineering Theories of Software Construction ed by Tony Hoare, Manfred Broy and Ralf Steinbruggen by Hoare, Tony., ed Broy, Manfred., ed Steinbruggen, Ralf., ed Series: NATO Science Series Material type: Text Publication details: Amsterdam IOS Press 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 P017. Place hold
	7.	Logic of programming and calculi of discrete design ed by Manfred Broy by Broy, Manfred., ed Series: NATO ASI series ; Material type: Text Publication details: Berlin Springer-Verlag 1987 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 N875. Place hold

Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
Contact Phone: +91 80 2293 2832