Search Result

Save to File Save as CSV

Your search for 25753 returns 5496 document(s)

The B-book: Assigning programs to meanings

Author: Abrial, J.R.; | Call Number: 005.1 Abr b | Type: Buku

Logics of programs : proceedings 1981

Call Number: 004 Log | Type: Buku

Proving programs correct

Author: Anderson, Robert B.; | Call Number: 005.3 And p | Type: Buku

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

On verification of database temporal contraints (169-179)

Author: C. H. Kung; | Call Number: SEM-357 | Type: Indeks Artikel prosiding/Sem

Protocol specification, testing, and verification VI

Call Number: 004.62 Pro | Type: Buku

A compositional rule for hardware design refinement, (LNCS-Lecture Notes in Computer Science 1254) Hal 24-35

Author: K. L. McMillan; | Call Number: 004 Int c | Type: Indeks Artikel LNCS

Some observations on compositional semantics, (LNCS-Lecture Notes in Computer Science 131)Hal. 137-149

Author: Theo M.V. Janssen; Peter van Emde Bosa; | Call Number: 004 Lec | Type: Indeks Artikel LNCS

Some common pascal programs/ Based on the book some common basic programs

Call Number: 005.133 Osb m | Type: Buku

Evaluating End-User Training Programs

Author: RadhaKanta Mahapatra, [et all] | Type: Indeks Artikel Jurnal

Prev 5 6 7 8 9 10 11 12 13 14 Next