Theoretical aspects of computer software : International Conference, TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings
| 000 | 01183camuu2200301 a 4500 | |
| 001 | 000045509939 | |
| 005 | 20090319144331 | |
| 008 | 910716s1991 gw a b 101 0 eng | |
| 010 | ▼a 91026862 | |
| 020 | ▼a 0387544151 (Berlin : acid-free paper) | |
| 020 | ▼a 3540544151 (New York : acid-free paper) | |
| 020 | ▼a 9783540544159 (New York : acid-free paper) | |
| 035 | ▼a (KERIS)REF000005107257 | |
| 040 | ▼a DLC ▼c DLC ▼d DLC ▼d 211009 | |
| 050 | 0 0 | ▼a QA76.751 ▼b .T33 1991 |
| 082 | 0 0 | ▼a 005.3 ▼2 22 |
| 090 | ▼a 005.3 ▼b T119 ▼c 1991 | |
| 111 | 2 | ▼a TACS'91 ▼d (1991 : ▼c Sendai-han, Japan) |
| 245 | 1 0 | ▼a Theoretical aspects of computer software : ▼b International Conference, TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings / ▼c T. Ito, A.R. Meyer (eds.). |
| 260 | ▼a Berlin ; ▼a New York : ▼b Springer-Verlag , ▼c c1991. | |
| 300 | ▼a x, 770 p. : ▼b ill. ; ▼c 25 cm. | |
| 490 | 0 | ▼a Lecture notes in computer science ; ▼v 526 |
| 504 | ▼a Includes bibliographical references and index. | |
| 650 | 0 | ▼a Computer software ▼x Congresses. |
| 700 | 1 | ▼a Ito, T. ▼q (Takayasu) , ▼d 1940- |
| 700 | 1 | ▼a Meyer, Albert R. |
| 945 | ▼a KINS |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.3 T119 1991 | 등록번호 121182592 (2회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
책소개
TACS'91 is the first International Conference on Theoretical Aspects of Computer Science held at Tohoku University, Japan, in September 1991. This volume contains 37 papers and an abstract for the talks presented at the conference. TACS'91 focused on theoretical foundations of programming, and theoretical aspects of the design, analysis and implementation of programming languages and systems. The following range of topics is covered: logic, proof, specification and semantics of programs and languages; theories and models of concurrent, parallel and distributed computation; constructive logic, category theory, and type theory in computer science; theory-based systems for specifying, synthesizing, transforming, testing, and verifying software.
정보제공 :
목차
정보제공 :