Your search returned 4 results.

Results
	1.	No cover image available Distributed computer systems structures and semantics /by Liba Svobodova, Barbara Liskov and David Clark. by Svobodova, Liba. Liskov, Barbara. Clark, David Series: Masachussettes institute of technology, Laboratory of computer science Material type: Text Publication details: Cambridge MIT 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6442 N791.
	2.	Abstraction and specification in program development by Barbara Liskov and John Guttag by Liskov, Barbara Guttag, John Series: MITelectrical engineering and computer science series ; Material type: Text Publication details: Cambridge MIT 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N867.
	3.	Abstraction and specification in program development by Barbara Liskov and John Guttag. by Liskov, Barbara Guttag, John Material type: Text Publication details: Cambridge, Mass MIT 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.12 N86.
	4.	Abstraction and specification in program development by Barbara Liskov and John Guttag by Liskov, Barbara Guttag, John Series: MITelectrical engineering and computer science series ; Material type: Text Publication details: Cambridge MIT 1986 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.12 N86;1. Place hold

Refine your search