Research Catalog

Formal techniques for networked and distributed systems--FORTE 2006 : 26th IFIP WG 6.1 international conference, Paris, France, September 26-29, 2006 : proceedings

Title
Formal techniques for networked and distributed systems--FORTE 2006 : 26th IFIP WG 6.1 international conference, Paris, France, September 26-29, 2006 : proceedings / Elie Najam ... [and others] (ed.).
Author
FORTE 2006 (2006 : Taipei, Taiwan)
Publication
Berlin ; New York : Springer, [2006], ©2006.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
Not available - Please for assistance.
TextRequest in advance QA76.9.F67 F67 2006gOff-site

Holdings

Details

Additional Authors
  • Najim, Elie.
  • IFIP Working Group 6.1.
Description
xii, 486 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 4229
Uniform Title
Lecture notes in computer science ; 4229.
Alternative Title
FORTE 2006
Subjects
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
3540462198 (pbk.)
OCLC
  • 73109158
  • ocm73109158
  • SCSB-5282869
Owning Institutions
Columbia University Libraries