DaftarIsitemplate

Call Number

005.16 Bit f

Title

Traces of I/O automata in Isabelle/HoLCF (Lecture Notes in Computer Science 1214), Hal. 580-594

Author

Olaf Muller; Tobias Nipkow;

Publisher

Springer, 1997

Subject

Location