Search Result
Save to File
Your search for
37157
returns
2019
document(s)
Formal systems specification: the RPC memory specification case study/Manfred Broy
Author: Broy, Manfred; | Call Number: 005.131 Bro f | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Translation of specification in behavior tree to an executable abstract behavioral specification
Author: Emerson Chan Simbolon; | Call Number: SK-1101 Softcopy SK-582 Source code SK-424 | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
The specification of computer programs/Wladyslaw M. Turski
Author: Turski, Wladyslaw M.; | Call Number: 005.1 Tur s | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
XML: the annotated specification/Bob Ducharme
Author: Ducharme, Bob; | Call Number: 005.72 Duc x | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Practical verification of embedded software, page 68
Author: Jorgen Staunstrup | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Performance evaluation of fingerprint verification systems, page 3
Author: R. Cappelli | Type: Indeks Artikel Jurnal
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal verification of a java compiler in isabelle, Hal. 63-77
Author: Martin Strecker; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal verification of a combination decision procedure, Hal. 347-362
Author: Jonathan Ford and Natarajan Shankar; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Formal verification of robotic messions and tasks, Hal. 231-238
Author: Daniel Simon; Konstantinos Kapellos; Bernard Espliau; Muriel Jourdan; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
A staging calculus and its applications to the verification of translator,Hal 389-396
Author: Robert Muller; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
1
2
3
4
5
6
7
8
9
10
Next