Skip to main content
CUSAT
Your cart is empty.
Cart
Lists
Public lists
NewArrivals
View all
Search history
Clear
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Advanced search
Authority search
Tag cloud
Libraries
Log in to your account
×
Login:
Password:
Home
Results of search for 'ccl=su:"Program correctness"'
Refine your search
Availability
Limit to currently available items
Authors
Cmelik, Bob
(1)
Ghosh Sukumar
(1)
Sahni, Sartaj
(1)
Holding libraries
School of Engineering
(1)
Item types
Books
(2)
Your search returned 2 results.
Sort
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to...
Cart
[ New list ]
Results
1.
Software Development in C
by
Sahni, Sartaj
Cmelik, Bob
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Chennai
ESWAR Press
Availability:
No items available.
Add to cart
(remove)
2.
Distributed systems
An algorithmic approach
by
Ghosh Sukumar
Publication details:
London
CRC Press
2010
Availability:
Items available for loan:
School of Engineering
(1)
Call number:
681.31.01 GHO
.
Add to cart
(remove)
Pages
University Library
Cochin University of Science and Technology
Kochi-682 022, Kerala, India
