Research Catalog
Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers
- Title
- Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers / Francesco Parisi Presicce, (ed.).
- Author
- WADT '97 (1997 : Tarquinia, Italy)
- Publication
- Berlin ; New York : Springer, c1998.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 98-719 | Offsite |
Details
- Additional Authors
- Parisi Presice, Francesco.
- Description
- viii, 433 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 1376
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSE 98-719
- ISBN
- 3540642994 (alk. paper)
- LCCN
- 98006358
- OCLC
- 38573151
- Conference
- WADT '97 (1997 : Tarquinia, Italy)
- Title
- Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers / Francesco Parisi Presicce, (ed.).
- Imprint
- Berlin ; New York : Springer, c1998.
- Series
- Lecture notes in computer science, 0302-9743 ; 1376
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Parisi Presice, Francesco.
- Research Call Number
- JSE 98-719