Catalog

Record Details

Catalog Search

Search Results filters

Filtered by:

OPAC Format Icons

E-book
×

Search Results Showing Item 2 of 2

Web Services and Formal Methods [electronic resource] : Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings / edited by Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro.

Electronic resources

Record details

  • ISBN: 9783540388654
  • Physical Description: X, 289 p. Also available online. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Subject: Computer science.
Computer Communication Networks.
Computer system performance.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Computer Communication Networks.
Logics and Meanings of Programs.
System Performance and Evaluation.
Computers and Society.
Search Results Showing Item 2 of 2

Additional Resources