Research Catalog
Web services and formal methods : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 : proceedings
- Title
- Web services and formal methods : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 : proceedings / Marlon Dumas, Reiko Heckel (eds.).
- Author
- WS-FM 2007 (2007 : Brisbane, Qld.)
- Publication
- Berlin ; New York : Springer, 2008.
Available Online
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | TK5105.88813 .W74 2007g | Off-site |
Details
- Additional Authors
- Description
- viii, 168 pages : illustrations; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 4937
- LNCS sublibrary. SL 2, Programming and software engineering
- Uniform Title
- Lecture notes in computer science ; 4937.
- LNCS sublibrary. SL 2, Programming and software engineering.
- Alternative Title
- WS-FM 2007
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Additional Formats (note)
- Also issued online.
- ISBN
- 9783540792291 (pbk.)
- 3540792295 (pbk.)
- OCLC
- ocn225872017
- 225872017
- SCSB-5411634
- Owning Institutions
- Columbia University Libraries