Research Catalog

Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings

Title
Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings / Doron A. Peled, Moshe Y. Vardi (eds.).
Author
FORTE 2002 (2002 : Houston, Tex.)
Publication
New York : Springer, 2002.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.9.F67 F67 2002Off-site

Details

Additional Authors
  • Peled, Doron A., 1962-
  • Vardi, Moshe Y.
Description
xi, 308 pages : illustrations; 23 cm.
Series Statement
Lecture notes in computer science ; 2529
Uniform Title
Lecture notes in computer science ; 2529.
Subjects
ISBN
3540001417 (alk. paper)
LCCN
2002191126
OCLC
  • 506124356
  • ocn506124356
  • SCSB-4318269
Owning Institutions
Columbia University Libraries