Skip to content
Library Home
Ask a Librarian
ArticlesPlus
WorldCat
My Library Account
Help
All Fields
-- Title
-- Journal Title
-- Author
-- Subject
-- ISBN/ISSN
-- Series
-- Publisher
-- Browse Alphabetically: Title
-- Browse Alphabetically: Author
-- Browse Alphabetically: Subject
-- Browse Alphabetically: Journal
-- Browse Alphabetically: Series
-- Browse Alphabetically: Call Number
Search
Advanced Search
Subject
Sort
Result Count
Alphabetical
Formal methods (Computer science)
3 results
3
Exclude matching results
Computer software
2 results
2
Exclude matching results
Conference papers and proceedings
2 results
2
Exclude matching results
Testing
2 results
2
Exclude matching results
Verification
2 results
2
Exclude matching results
Computer logic
1 results
1
Exclude matching results
Computer science
1 results
1
Exclude matching results
Computer system failures
1 results
1
Exclude matching results
Computers
1 results
1
Exclude matching results
Software engineering
1 results
1
Exclude matching results
close