Research Catalog
Foundations of software science and computation structures : Third International Conference, FOSSACS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
- Title
- Foundations of software science and computation structures : Third International Conference, FOSSACS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Jerzy Tiuryn (ed.).
- Author
- FOSSACS 2000 (2000 : Berlin, Germany)
- Publication
- Berlin ; New York : Springer, c2000.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | JSE 00-947 | Offsite |
Details
- Additional Authors
- Description
- x, 390 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 1784
- Alternative Title
- FOSSACS 2000, foundations of software science and computation structures
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSE 00-947
- ISBN
- 3540672575 (softcover : alk. paper)
- LCCN
- 00029646
- OCLC
- 43641433
- Conference
- FOSSACS 2000 (2000 : Berlin, Germany)
- Title
- Foundations of software science and computation structures : Third International Conference, FOSSACS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Jerzy Tiuryn (ed.).
- Imprint
- Berlin ; New York : Springer, c2000.
- Series
- Lecture notes in computer science, 0302-9743 ; 1784
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Tiuryn, Jerzy.ETAPS 2000 (2000 : Berlin, Germany)
- Spine Title
- FOSSACS 2000, foundations of software science and computation structures
- Research Call Number
- JSE 00-947