close
1.

図書
図書
1. Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998, proceedings
Bernhard Steffen, ed.
出版情報: Berlin ; New York : Springer, c1998  xiii, 455 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1384
所蔵情報: loading…
目次情報: 続きを見る
The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions
The volume is devoted to conceptual foundations, development, and applications of tools and algorithms
For the specification, verification, analysis, and construction of software and hardware systems
The papers are organized in sections on model checking, design and architecture
Various applications, fielded applications, verification of real-time systems, mixed analysis techniques, and case studies and experience
The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions
The volume is devoted to conceptual foundations, development, and applications of tools and algorithms
For the specification, verification, analysis, and construction of software and hardware systems
2.

図書
図書
2. DIS '95, Symposium on Designing Interactive Systems, Processes, Practices, Methods & Techniques : conference proceedings, University of Michigan, Ann Arbor, Michigan, USA, August 23-25, 1995
edited by Gary M. Olson & Sue Schuon
出版情報: New York : Association for Computing Machinery, c1995  x, 268 p. ; 28 cm
所蔵情報: loading…
3.

図書
図書
3. Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings (: pbk)
Ed Brinksma (ed.)
出版情報: Berlin : Springer, c1997  x, 431 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1217
所蔵情報: loading…
4.

図書
図書
4. Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings
Tiziana Margaria, Bernhard Steffen, (eds.)
出版情報: Berlin : Springer, c1996  xi, 434 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1055
所蔵情報: loading…
5.

図書
図書
5. Tools and algorithms for the construction and analysis of systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers
E. Brinksma ... [et al.], (eds.)
出版情報: Berlin ; New York : Springer, c1995  289 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1019
所蔵情報: loading…
6.

図書
図書
6. The Second International Workshop on Rapid System Prototyping : Research Triangle Park, North Carolina, USA, June 11-13, 1991 : shortening the path from specification to prototype
proceedings editor, Nick Kanapoulos
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press : Institute of Electrical and Electronics Engineers, c1992  viii, 201 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼