Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
Author(s)
Bibliographic Information
Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
(Lecture notes in computer science, 1217)
Springer, c1997
- : pbk
Available at / 48 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
pbk. : alk. paperL/N||LNCS||121797001888
-
Kobe University Library for Science and Technology
: pbk. : alk. paper548-0-6//1217030009703892
-
University of Tsukuba Library, Library on Library and Information Science
: pbk. : alk. paper007.08:L-49:1217971001860
-
Digital Library of Nara Institute of Science and Technology
pbk. : alk. paperAB||23||12170023031
-
Hiroshima University Central Library, Interlibrary Loan
: pbk. : alk. paper007.61:W-88/HL4010004000406670
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
Description and Table of Contents
Description
Table of Contents
by "Nielsen BookData"