Skip to main content
University Library
Your cart is empty.
Cart
Lists
Public lists
LIS
Science Fiction
Environment Day June 5
Orhan Pamuk
International Day for Biological Diversity
Positive thinking/Self help/Life skills
UPSC/ SSC
UGC NET
PSC Exam Guides
IIT/JEE/NEET
View all
Your lists
Log in to create your own lists
Log in to your account
Search history
Clear
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Advanced search
Browse by hierarchy
Authority search
Tag cloud
Subject cloud
Library
Log in to your account
×
Login:
Password:
Home
Results of search for 'ccl=(su:{Computer software - Verification})'
Refine your search
Availability
Limit to currently available items
Authors
Appel, Andrew W...[e...
Beringer, Lennart
Dock, Robert
Feng Dengguo...[et.a...
Hobor, Aquinas
Limaye, M. G
Tamres, Louise
Yoeli, Michael
Show more
Show less
Item types
Books
Your search returned 6 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
LIS
[ New list ]
Place hold
Results
Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS
by
Yoeli, Michael
[]
Edition:
Publication details:
New Jersey
John Wiley & Sons
2008
Availability:
Items available for loan:
University Library
(1)
Call number:
621.3.049.77 YOE
.
Place hold
Add to cart
(remove)
Verification of systems and circuits using LOTOS,Petri Nets, and CCS
by
Yoeli, Michael
[]
Edition:
Publication details:
New Jersey
John Wiley & Sons
2008
Availability:
No items available.
Add to cart
(remove)
Program logics for certified compilers
Andrew Appel W....[et.al]
by
Appel, Andrew W...[et.al]
Dock, Robert
Hobor, Aquinas
Beringer, Lennart
Publication details:
New York
Cambridge University Press
2014
Availability:
Items available for loan:
University Library
(1)
Call number:
004.42 APP
.
Place hold
Add to cart
(remove)
Introducing software testing
by
Tamres, Louise
Publication details:
New Delhi
Pearson
2007
Availability:
Items available for loan:
University Library
(1)
Call number:
004.415.53 TAM
.
Place hold
Add to cart
(remove)
Software testing principles, techniques and tools
by
Limaye, M. G
Publication details:
New Delhi
McGraw hill education
2009
Availability:
Items available for loan:
University Library
(2)
Call number:
004.415.53 LIM;1, ..
.
Place hold
Add to cart
(remove)
Trusted computing principles and applications
by
Feng Dengguo...[et.all]
Publication details:
Germany
De Gruyter
2018
Availability:
Items available for loan:
University Library
(1)
Call number:
004.72.056.523 FEN/T
.
Place hold
Add to cart
(remove)
Pages
University Library, CUSAT