Formal models, languages and applications [electronic resource] / editors, K.G. Subramanian, K. Rangarajan, M. Mukund.
Contributor(s): Mukund, Madhavan | Rangarajan, K | Subramanian, K. G | ebrary, Inc.
Material type:![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
No physical items for this record
Includes bibliographical references.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2009. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
There are no comments for this item.