Search Result
Save to File
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