Search Result
Save to File
Your search for
37158
returns
198
document(s)
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
Understanding formal methods
Author: Monin, Jean-Francois; | Call Number: 005.131 Mon u | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal languages and their relation to automata
Author: Hopcroft, John E.; | Call Number: 519.766 Hop f | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal Methods in Artificial Intelligence
Author: Ramsay, Allan; | Call Number: 006.3 Ram f | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal languages/ Arto Salomma
Author: Salomma, Arto; | Call Number: 511.3 Sal f | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Self tracking mechanism for robotic vehicles by data acquisation method form wheel motion using multiple data fusion
Author: M. Kishore Abishek; | Call Number: SEM 304 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Mengoptimalkan Proses Bisnis Perusahaan Menggunakan Teknologi Otomatisasi IBM Robotic Process Automation
Author: Alya Annissa Diyantari; | Call Number: KP-3772 | Type: Kerja Praktek (KP)
Find Similar
|
Add To Favorites
|
Detail in New Window
Towards automated verification of database scripts
Author: Ade Azurat; I.S.W.B. Prasetya; T.E.J. Vos; H.Suhartanto; B. Widjaja, L.Y. Stefanus; Ricky Wenang; S. Aminah; Jimmy Bong | Call Number: Pub.Staf-PI-0044 | Type: Prosiding Internasional
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
1
2
3
4
5
6
7
8
9
10
Next