DaftarIsitemplate

Call Number

005.1 Alg

Title

Formalizing inductive proofs of network algorithms, (LNCS-Lecture Notes in Computer Science 1023) Hal 335-349

Author

Ramesh Bharadwaj; Amy Felty; Frank Stomp;

Publisher

Springer, 1995

Subject

Location