Theoretical aspects of computer software : 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings / Naoki Kobayashi, Benjamin C. Pierce (eds.).

Author/creator TACS 2001
Other author Kobayashi, Naoki.
Other author Pierce, Benjamin C.
Format Electronic
Publication InfoBerlin ; New York : Springer, ©2001.
Descriptionxv, 559 pages : illustrations ; 24 cm.
Supplemental ContentRestricted to Springer LINK subscribers
Subjects

SeriesLecture notes in computer science ; 2215
Lecture notes in computer science 2215. ^A466336
Bibliography noteIncludes bibliographical references and index.
Other formsAlso available via the World Wide Web.
LCCN 2001055112
ISBN3540427368 (softcover : alk. paper)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.751 .T33 2001 ✔ Available Place Hold