Your search returned 4 results.

Results
	1.	Algebraic methodology and software technology - Proceedings ed. by Martin Wirsing, Maurice Nivat by 5th International Conference, AMAST'96, Munich, Germany Wirsing, July 1-5, 1996 Wirsing, Martin., ed Nivat, Maurice., ed Series: Lecture Notes in computer science ; 1101 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.131 N961.
	2.	No cover image available Adapting Proofs-as-Programs by Iman Poernomo, Martin Wirsing and John Crossley by Poernomo, Iman Wirsing, Martin Crossley, John Series: Lecture notes in computer science Material type: Text Publication details: Berlin Springer Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 . Place hold
	3.	Algebraic methodology and software technology - Proceedings ed. by Martin Wirsing, Maurice Nivat by 5th International Conference, AMAST'96, Munich, Germany Wirsing, July 1-5, 1996 Wirsing, Martin., ed Nivat, Maurice., ed Series: Lecture Notes in computer science ; 1101 Material type: Text Publication details: New York Springer-Verlag 1996 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 . Place hold
	4.	No cover image available Algebraic Methods Theory, Tools and Applications ed by Martin Wirsing and Jan A. Bergstra by Wirsing, Martin., ed Bergstra, Jan A., ed Series: Lecture notes in computer science Material type: Text Publication details: Berlin springer Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 512 . Place hold

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