Your search for 13420 returns 4327 document(s) |
Verification in component software, Hal. 411-420 |
Author: Rakhmad Azhari; | Call Number: SEM-268 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The complexity of verification,Hal 365-371 |
Author: R.P.Kurshan; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Program construction and verification |
Author: Backhouse, Roland; | Call Number: 005 Bac p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Software engineering: analysis and verification |
Author: Lewis, T.G.; | Call Number: 004 Lew s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Software verification and validation |
Author: Deutsch, Michael S.; | Call Number: 005.3 Deu s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An introduction to formal program verification |
Author: Mili, Ali; | Call Number: 005.3 Mil i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Temporal logic for proof-carrying code, Hal. 31-46 |
Author: Andrew Bernard and Peter Lee; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Faster proof cheking in the edinburgh logical framework, Hal. 392-407 |
Author: Aaron Stump; David L. Dill; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Focussing proof-net construction as a midleware paradign, Hal. 501-516 |
Author: Jean Marc Andreocoli; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Proof analysis by resolution (extended abstract), Hal,.417-531 |
Author: Matthias Baaz; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|