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