DaftarIsitemplate

Call Number

005.133 Gab l

Title

Denotational semantics using horn concurrent transaction logic, ((LNCS-Lecture Notes in Computer Science 3668) Hal 431-432

Author

Marcus Vinicius Santos;

Publisher

Springer, 2005

Subject

Location