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

StatusFormatAccessCall NumberItem Location
TextRequest in advance JSE 00-947Offsite

Details

Additional Authors
  • Tiuryn, Jerzy.
  • ETAPS 2000 (2000 : Berlin, Germany)
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
View in Legacy Catalog