Your search for 13420 returns 4347 document(s) |
Protocol specification, testing, and verification VI |
Call Number: 004.62 Pro | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal methods of program verification and specification |
Author: Berg, Helmut K.; | Call Number: 005.3 Ber f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Pengembangan kanal blog dan user presence pada enhacement Piasa 2 PT Telekomunikasi Indonesia, Tbk |
Author: M. Eka Suryana; | Call Number: KP-0879 (Softkopi KP-444) SCKP-291 | Type: Kerja Praktek (KP)
|
Find Similar |
Add To Favorites |
Detail in New Window
|
RIDL*: A Tool For The Computer-Assisted Engineering Of Large Databases In The Presence Of Integrity Constraints (418-429) |
Author: O. De Troyer; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A Gradual approach to a more trustworthy, yet scalable, proof-carrying code, Hal. 47-62 |
Author: Robert R. Schneck; George C. Necula; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Connection-based proof search in propositional BI logic, Hal. 111-128 |
Author: Didier Glamiche; Daniel Mery; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Small proof witnesses for LF, (LNCS-Lecture Notes in Computer Science) Hal 387-401 |
Author: Susmit Sarkar; Brigitte Pientka; Karl Crary; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Using z specification, refinement, and proof/Jim Woodcock, Jim Davies |
Author: Woodcock, Jim; | Call Number: 005.113 woo u | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Implementasi POC (Proof Of Concept) Product discovery pada kata platform |
Author: Azhar Kurnia; | Call Number: KP-3269 | Type: Kerja Praktek (KP)
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Proof of concept.NET application with hibernate method and SQL express database |
Author: Handre Duriana; | Call Number: KP-1440 (Softcopy KP-1001 | Type: Kerja Praktek (KP)
|
Find Similar |
Add To Favorites |
Detail in New Window
|