Skip to main content
Resource Centre
Lists
Public lists
interesting??
Copyrights, Patents & IPR
Albert Einstein
Bharat Ratna Awardees
A Very Short Introduction
Music
Elections and Democracy in India
GATE
Quantum Science and Technology
Your lists
Log in to create your own lists
Log in to your account
Your cookies
Search history
RC Home
|
Contact Us
Resource Centre
Home
Trending
Search the catalog by:
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Search the catalog
Advanced search
Course reserves
Authority search
Tag cloud
Most popular
Libraries
Log in to your account
Card number or username:
Password:
Forgot your password?
Home
Advanced search
Results of search for 'su:"Computer systems Verification"'
Refine your search
Availability
Limit to records with available items
Authors
Akleylek, Sedat
Berard, Beatrice
Clarke, Edmund M.
Dundua, Besik
Item types
Books
Series
Prospects in Pure and Applied Mathematics Series
Topics
Computer science
Computer software -- Verification
Computer systems-verification
Computer systems -- Verification
Computer systems Verification
Cryptography
Data encryption
Manufacturing
Mathematical Analysis
Mathematics
Systems Analysis & Design
Show more
Show less
Your search returned 3 results.
Not what you expected? Check for
suggestions
Sort
Sort results by:
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 list
Public lists
Music
Quantum Science and Technology
New list
Place hold
Results
1.
Image from Google Jackets
Model checking
by
Clarke, Edmund M
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Cambridge:
The MIT Press,
2002
Availability:
Items available for loan:
DAU
(1)
Call number:
004.21 CLA
.
Place hold
Save to lists
2.
Image from Google Jackets
Systems and software verification : model-checking techniques and tools
by
Berard, Beatrice
Material type:
Text
; Format:
print
; Literary form:
Not fiction
Publication details:
Berlin:
Springer,
2010
Availability:
Items available for loan:
DAU
(1)
Call number:
005.14 BER
.
Place hold
Save to lists
3.
Image from Google Jackets
Handbook of formal analysis and verification in cryptography
by
Akleylek, Sedat
[ed.]
Dundua, Besik
[ed.]
Series:
Prospects in Pure and Applied Mathematics Series
Publication details:
Boca Raton :
CRC Press,
2024
Availability:
Items available for loan:
DAU
(1)
Call number:
005.824 AKL
.
Place hold
Save to lists
Not finding what you're looking for?
Make a
purchase suggestion