Reset Filters
Filter Related Topics: Correctness
Filter Related Topics within your search.
1
5th Annual IEEE Symposium on Logic in Computer Science proceedings, June 4-7, 1990, Philadelphia, PA

Cover is for reference only
Corporate Authors: IEEE Symposium on Logic in Computer Science. Annual (5th 1990 Philadelphia, PA
Published: IEEE Computer Society Press,
Publication Dates: c1990.
Call Number: TP302-53/S989/1990/
Journal
Save to List
Saved in:
2
Artificial unintelligence : how computers misunderstand the world /

Cover is for reference only
Main Authors: Broussard, Meredith
Published: The MIT Press,
Publication Dates: [2018]
Call Number: TP274-05/B876
Book
Save to List
Saved in:
3
Automated defect prevention best practices in software management

Cover is for reference only
Main Authors: Huizinga Dorota
Group Author: Kolawa Adam
Published: Wiley-Interscience IEEE Computer Society,
Publication Dates: c2007.
Call Number: TP311.5/H911
Book
Save to List
Saved in:
4
Variations on constants flow analysis of sequential and parallel programs

Cover is for reference only
Main Authors: Müller-Olm Markus.
Published: Springer,
Publication Dates: 2006.
Call Number: TP311.1/M958-1
Book
Save to List
Saved in:
6
The Correctness problem in computer science

Cover is for reference only
Group Author: Boyer Robert S; Moore J Strother 1947-
Published: Academic Press,
Publication Dates: 1981.
Call Number: TP31/C824/
Book
Save to List
Saved in:
10
Multi-valued reasoning about reactive systems /

Cover is for reference only
Main Authors: Kupferman, Orna (Author)
Published: Now Publishers,
Publication Dates: [2022]
Call Number: TP311.1/K967
Book
Save to List
Saved in:
11
Variations on constants flow analysis of sequential and parallel programs

Cover is for reference only
Main Authors: Müller-Olm Markus.
Corporate Authors: SpringerLink (Online service)
Published: Springer,
Publication Dates: c2006.
Book
Save to List
Saved in:
12
Accuracy and reliability in scientific computing

Cover is for reference only
Group Author: Einarsson Bo, 1939-
Published: Society for Industrial and Applied Mathematics,
Publication Dates: c2005.
Call Number: TP274/A172
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —