Your search returned 26 results.

Not what you expected? Check for suggestions

Results
		Applications of formal methods by Hinchey, Michael G [Editor] Bowen, Jonathan P [Editor] Series: Prentice Hall international series in computer science Publication details: London Prentice Hall 1995 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 003 A7. Place hold Add to cart (remove)
		Construction of data processing software by Elder, John Hoare, C.A.R [Series Editor] Series: Prentice hall international series in computer science Publication details: Englewood Cliffs Prentice-Hall International 1984 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 001.642 E5C6. Place hold Add to cart (remove)
		Sequential program structures by Welsh, Jim Elder, John Bustard, David Series: Prentice-Hall International series in computer science Publication details: Englewood Cliff Prentice-Hall International 1984 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 001.642 W3S3. Place hold Add to cart (remove)
		Computer science: a modern introduction by Goldschlager, L Lister, Andrew Series: Prentice Hall international series in computer science Publication details: Englewood Cliffs Prentice-Hall International 1982 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 004 G6C6. Place hold Add to cart (remove)
		Structured system programming by Welsh, Jim McKeag, Michael Series: Prentice-Hall International series in computer science Publication details: New Delhi Prentice-Hall of India 1987 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 001.642 W3S8. Place hold Add to cart (remove)
		Software engineering and modula-2 by Pomberger, Gustav Series: Prentice-Hall International series in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Englewood Cliffs, NJ Prentice Hall International 1984 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 005.133 P6S6. Place hold Add to cart (remove)
		Computer science: a mathematical introduction by Lew, Art Series: Prentice-Hall International Series in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Jersey Prentice/Hall International 1985 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 519 L3C6. Place hold Add to cart (remove)
		The craft of programming by Reynolds, John C Series: Prentice-Hall International Series in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Englewood Cliffs Prentice/Hall International 1981 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 001.64 R3C7. Place hold Add to cart (remove)
		Introduction to functional programming by Bird, Richard Wadler, Philip Series: Prentice Hall International Series in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York Prentice Hall 1988 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 005.1 B4I6. Place hold Add to cart (remove)
		System development by Jackson, Michael Series: Prentice-Hall International Series in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Englewood Cliffs Prentice/Hall 1983 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 658.4032 J2S9. Place hold Add to cart (remove)
		Database technology: a software engineering approach by Hughes, John G Series: Prentice Hall International Series in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York Prentice-Hall 1988 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 005.74 H8D2. Place hold Add to cart (remove)
		Essays in computing science by Hoare, C. A. R Jones, C. B [Editor] Series: Prentice Hall International Series in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York Prentice Hall 1989 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 004 H6E8. Place hold Add to cart (remove)
		Data types and data structures by Martin, Johannes J Series: Prentice-Hall International Series in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Jersey Prentice-Hall International 1986 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 005.73 M2D2. Place hold Add to cart (remove)
		Distributed systems and computer networks by Sloman, Morris Kramer, Jeff Series: Prentice-Hall International Series in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Englewood Cliffs, NJ Prentice/Hall International 1987 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 004.36 S5D4. Place hold Add to cart (remove)
		Formal specification and software development by Bjorner, D Jones, C. B Andrews, Derek [Collaborator] Lucas, Peter [Collaborator] Series: Prentice-Hall International Series in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Englewood Cliffs, N.J. Prentice/Hall International 1982 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 001.642 B5F3. Place hold Add to cart (remove)
		Mathematical logic and programming languages by Hoare, C. A. R [Editor] Shepherdson, J. C [Editor] Series: Prentice Hall International Series in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Englewood Cliffs Prentice/Hall International 1985 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 005.13 M2. Place hold Add to cart (remove)
		A multiprocessor operating system by Joseph, Mathai Prasad, V. R [Editor] Natarajan, N [Editor] Series: Prentice-Hall International Series in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Englewood Cliffs Prentice Hall International 1984 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 001.64 J6M8. Place hold Add to cart (remove)
		Microprocessor programming and software development by Duncan, F. G Series: Prentice-Hall International Series in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Englewood Cliffs Prentice/Hall International 1979 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 001.642 D8M4. Place hold Add to cart (remove)
		Programming language theory and its implementation: applicative and imperative paradigms by Gordon, Michael J. C Series: Prentice Hall International Series in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York Prentice-Hall 1988 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 005.13 G6P7. Place hold Add to cart (remove)
		Productive Prolog programming by Schnupp, Peter Bernhard, Lawrence W Series: Prentice-Hall International Series in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: London Prentice-Hall International 1987 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 005.133 S2P7. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 26 results.