Search Result Save to File Save as CSV
Your search for 37156 returns 71 document(s)
Proving correctness of a vehicle maneuver: deceleration, Hal. 196-203
Author: Naney Lynch; H.B. Weinberg; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Proving programs correct
Author: Anderson, Robert B.; | Call Number: 005.3 And p | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Proving programs correct
Author: Anderson, Robert B.; | Call Number: 005.3 And p | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Correctness of trap-based breakpoint implementations,Hal 15-24
Author: Norman Ramsey; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Mathematical theory of program correctness/ Jaco de Bakker
Author: Baker, Jaco de; | Call Number: 005.3 Bak m | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Symbolic logic and mechanical theorem proving
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
First-order logic and automated proving
Author: Fitting, Melvin; | Call Number: 511.3 Fit f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Proving that Programs Are Differentially Private (3-18)
Author: Annabelle Mclver Carroll Morgan; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
An efficient method for checking object-oriented database schema correctness
Author: A. Formica | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Consistency and orderability: semantics-based correctness criteria for database, page 460
Author: Agrawal, Dvyakant | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8  Next