Catalog

Record Details

Catalog Search


Web Services and Formal Methods [electronic resource] : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings / edited by Marlon Dumas, Reiko Heckel.

Dumas, Marlon. (editor.). Heckel, Reiko. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo

Record details

  • ISBN: 9783540792307
  • Physical Description: online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Search for related items by subject

Subject: Computer science.
Computer Communication Networks.
Computer system performance.
Software engineering.
Logic design.
Information Systems.
Computer Science.
Software Engineering.
Computer Communication Networks.
Logics and Meanings of Programs.
System Performance and Evaluation.
Management of Computing and Information Systems.

Search for related items by series


Additional Resources