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