DaftarIsitemplate

Call Number

005.131 Boc f

Title

Formal methods: state of the art and new directions

Author

Boca, Paul P;

Publisher

New York: Springer, 2010

Subject

Formal methods (computer science)

Location

FASILKOM-UI;