| Your search for 3905 returns 3928 document(s) |
| The X.25 protocol and seven other key CCITT recommendations: X.1., X.2, X.3, X.21, X.21bis, X.28, and X.29/ Reprinted in complete and unbridge form as they appear in fascile viii.... |
|
Call Number: 384 Int x | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Tables of languerre polynomials and functions/ V.S. Aizenshtadt and V.I. Krylov ...et al |
|
Author: Aizenshtadt, V.S.; | Call Number: 515.55 Aiz t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| 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
|
| Solaris: PEX implementation specification |
|
Call Number: 005.43 Sol | Type: Buku Manual
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Structured analysis and system specification |
|
Author: DeMarco, Tom; | Call Number: 003 Dem s | Type: Buku
|
|
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
|
| On verification of database temporal contraints (169-179) |
|
Author: C. H. Kung; | Call Number: SEM-357 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result