Research Catalog

Formal techniques for networked and distributed systems : FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007 : proceedings

Title
Formal techniques for networked and distributed systems : FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007 : proceedings / John Derrick, Jü̈ri Vain (eds.).
Author
FORTE 2007 (2007 : Tallinn, Estonia)
Publication
Berlin ; New York : Springer, [2007], ©2007.

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 2007gOff-site

Holdings

Details

Additional Authors
  • Derrick, John.
  • Vain, Jüri.
  • IFIP Working Group 6.1.
Description
xi, 373 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 4574
Uniform Title
Lecture notes in computer science ; 4574.
Alternative Title
  • FORTE 2007
  • 27th IFIP WG 6.1 International Conference
  • Twenty-seventh IFIP WG 6.1 International Conference
Subjects
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
  • 3540731954 (pbk.)
  • 9783540731955 (pbk.)
OCLC
  • 144615306
  • ocn144615306
  • SCSB-5351677
Owning Institutions
Columbia University Libraries