Research Catalog

Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings

Title
Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings / David de Frutos-Escrig, Manuel Núñez, editors.
Author
FORTE 2004 (2004 : Madrid, Spain)
Publication
Berlin ; New York : Springer, [2004], ©2004.

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?
Book/TextRequest in advance QA76.9.F67 F67 2004Off-site

Holdings

Details

Additional Authors
  • Frutos-Escrig, David de.
  • Núñez, Manuel (Professor)
  • IFIP Working Group 6.1.
Description
x, 375 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science, 0302-9743 ; 3235
Uniform Title
Lecture notes in computer science ; 3235.
Subjects
Bibliography (note)
  • Includes bibliographical references and index.
Additional Formats (note)
  • Also issued online.
ISBN
3540232524 (pbk. : alk. paper)
LCCN
2004112981
OCLC
  • ocm56756042
  • SCSB-5077230
Owning Institutions
Columbia University Libraries